183 search results - page 5 / 37 » Certificates for mobile code security |
FOAL
2008
ACM
13 years 9 months ago
2008
ACM
Aspect Oriented Programming (AOP) has significant potential to separate functionality and cross-cutting concerns. In particular, AOP supports an incremental development process, i...
AIL
2006
13 years 7 months ago
2006
Legal information certification and secured storage combined with documents electronic signature are of great interest when digital documents security and conservation are in conce...
POPL
2006
ACM
14 years 7 months ago
2006
ACM
This paper reports on the development and formal certification (proof of semantic preservation) of a compiler from Cminor (a Clike imperative language) to PowerPC assembly code, u...
INFORMATICALT
2000
13 years 7 months ago
2000
Growing popularity of the mobile code requires to consider various aspects related to its security. In the aviation industry there is a case when additional information needs to be...
ICECCS
2005
IEEE
14 years 29 days ago
2005
IEEE
Mobile code systems provide an infrastructure that supports autonomous mobile components, called mobile agents. The infrastructure implements services for the transfer, execution,...