353 search results - page 10 / 71 » A Policy Model for Secure Information Flow |
ACSAC
2007
IEEE
14 years 1 months ago
2007
IEEE
We have implemented an information flow framework for the Java Virtual Machine that combines static and dynamic techniques to capture not only explicit flows, but also implicit ...
JCS
2002
13 years 7 months ago
2002
Abstract. This paper presents an approach enabling a smart card issuer to verify that a new applet securely interacts with already downloaded applets. A security policy has been de...
IJNSEC
2007
13 years 7 months ago
2007
Java programs can be transmitted and executed on another host in bytecode format, thus the sensitive information of the host may be leaked via these assembly-like programs. Inform...
CSFW
2003
IEEE
14 years 26 days ago
2003
IEEE
Access control mechanisms are widely used with the intent of enforcing confidentiality and other policies, but few formal connections have been made between information flow and...
CONCUR
2009
Springer
14 years 2 months ago
2009
Springer
Several programming constructs have recently been proposed with the purpose of enabling the programmer to encode declassifying information flows within a program that complies wi...