304 search results - page 12 / 61 » Static enforcement of security with types |
CSFW
2006
IEEE
14 years 1 months ago
2006
IEEE
Secrecy properties can be guaranteed through a combination of static and dynamic checks. The static checks may include the application of special type systems with notions of secr...
ACSAC
2002
IEEE
14 years 11 days ago
2002
IEEE
The integration of mobile agents with SNMP creates significant advantages for the management of complex networks. Nevertheless, the security concerns of mobile agent technology l...
PET
2004
Springer
14 years 23 days ago
2004
Springer
Abstract. We develop a language-based approach for modeling and verifying aspects of privacy policies. Our approach relies on information-flow control. Concretely, we use the prog...
CSFW
2008
IEEE
13 years 9 months ago
2008
IEEE
Declassification occurs when the confidentiality of information is weakened; erasure occurs when the confidentiality of information is strengthened, perhaps to the point of comple...
ERSHOV
2009
Springer
13 years 5 months ago
2009
Springer
Abstract. Historically, dynamic techniques are the pioneers of the area of information flow in the 70's. In their seminal work, Denning and Denning suggest a static alternativ...