67 search results - page 4 / 14 » Toward a Mathematical Foundation for Information Flow Securi... |
MICRO
2009
IEEE
14 years 21 days ago
2009
IEEE
Recent micro-architectural research has proposed various schemes to enhance processors with additional tags to track various properties of a program. Such a technique, which is us...
LISP
2002
13 years 5 months ago
2002
Security-typed languages enforce secrecy or integrity policies by type-checking. This paper investigates continuation-passing style (CPS) as a means of proving that such languages...
CSFW
2012
IEEE
11 years 8 months ago
2012
IEEE
—Tracking information flow in dynamic languages remains an important and intricate problem. This paper makes substantial headway toward understanding the main challenges and res...
ISSA
2008
13 years 7 months ago
2008
Information Security awareness initiatives are seen as critical to any information security programme. But, how do we determine the effectiveness of these awareness initiatives? W...
FOIKS
2004
Springer
13 years 11 months ago
2004
Springer
We introduce the formal framework of a generalized interaction scheme for information access between users and information sources. Within this framework we describe an interactio...