2486 search results - page 4 / 498 » A Type System for Computationally Secure Information Flow |
JCS
2007
13 years 8 months ago
2007
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have specified an information flow ty...
JCS
2008
13 years 8 months ago
2008
Although static systems for information flow security are well-studied, few works address runtime information flow monitoring. Runtime information flow control offers distinct adv...
ACSAC
2004
IEEE
14 years 10 days ago
2004
IEEE
One of the growing problems faced by network administrators is the abuse of computing resources by authorized and unauthorized personnel. The nature of abuse may vary from using u...
POPL
1998
ACM
14 years 24 days ago
1998
ACM
Previously, we developed a type system to ensure secure information flow in a sequential, imperative programming language [VSI96]. Program variables are classified as either hig...
CSFW
2007
IEEE
14 years 15 days ago
2007
IEEE
We present interpretations of type systems for secure information flow in Hoare logic, complementing previous encodings in binary (e.g. relational) program logics. Treating base-l...