94 search results - page 1 / 19 » Verifying a Secure Information Flow Analyzer |
TPHOL
2005
IEEE
14 years 19 days ago
2005
IEEE
Abstract. Denotational semantics for a substantial fragment of Java is formalized by deep embedding in PVS, making extensive use of dependent types. A static analyzer for secure in...
WISTP
2007
Springer
14 years 1 months ago
2007
Springer
ESORICS
2010
Springer
13 years 7 months ago
2010
Springer
Abstract We propose an approach to certify the information flow security of multi-threaded programs independently from the scheduling algorithm. A scheduler-independent verificatio...
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...
IJMI
2007
13 years 7 months ago
2007
Objective: We present an integrated set of technologies, known as the Hippocratic Database, that enable healthcare enterprises to comply with privacy and security laws without imp...