Thread Rating:
  • 3 Vote(s) - 2.67 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Secure Mobile Code Framework
Post: #1


Since its conception, Proof-Carrying Code (PCC) woke up the interest of the research community and several methods based on this technique were developed. This technique guarantees that untrusted programs run safely in a host machine. In a PCC framework, the code producer equips the produced code with a formal proof establishing that the code satisfy the consumer's security policies. So, the code consumer only needs to verify such proof before the execution of the mobile code.

On the other hand, static analysis is a technique useful for the production of the information required to construct the mentioned proof.This framework uses a high-level intermediate language to verify the security of the code. Acontrol flow graph or an abstract syntax tree with type annotations could be used. Such intermediate representations of the code enable us to use static analysis techniques to generate and verify the type information needed.

Important Note..!

If you are not satisfied with above reply ,..Please


So that we will collect data for you and will made reply to the request....OR try below "QUICK REPLY" box to add a reply to this page
Popular Searches: nephele framework download, framework, seminar on yii framework, framework agnostic, seminar topics for zend framework, zend framework ubuntu, fusebox framework,

Quick Reply
Type your reply to this message here.

Image Verification
Image Verification
(case insensitive)
Please enter the text within the image on the left in to the text box below. This process is used to prevent automated posts.

Possibly Related Threads...
Thread: Author Replies: Views: Last Post
  WIRE LESS SPEED CONTROL OF AC MOTOR (USING MOBILE) smart paper boy 6 2,809 24-02-2016 02:05 PM
Last Post: seminar report asees
  Mobile incoming call indicator smart paper boy 5 4,546 09-01-2016 11:02 AM
Last Post: seminar report asees
  Home appliance control by mobile phone (DTMF) seminar class 17 16,657 10-01-2015 10:05 PM
Last Post: seminar report asees
  COIN BASED MOBILE CHARGER full report seminar class 25 19,137 08-12-2014 11:40 PM
Last Post: seminar report asees
  wireless charging of mobile phones using microwaves ramki86 33 18,009 05-08-2014 09:29 PM
Last Post: seminar report asees
  SMS Based Wireless Electronic Notice Board using GSM/CDMA/3G Mobile Phone seminar class 20 15,684 30-04-2014 10:43 PM
Last Post: ShawnHasson
  SECURE ATM BY IMAGE PROCESSING seminar class 6 8,458 06-04-2014 05:49 PM
Last Post: Guest
  mobile phone detector seminar presentation 22 11,104 20-02-2014 08:47 PM
Last Post: abid qureshi
  MOBILE DETECTION AND JAMMING computer science crazy 14 10,821 13-11-2013 05:35 AM
Last Post: Guest
  Mobile Showroom Billing and Inventory Management System smart paper boy 3 3,221 06-05-2013 11:12 AM
Last Post: computer topic