2486 search results - page 35 / 498 » A Type System for Computationally Secure Information Flow |
142
click to vote
SP
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract—Belief and vulnerability have been proposed recently to quantify information flow in security systems. Both concepts stand as alternatives to the traditional approaches...
138
click to vote
DAC
2007
ACM
16 years 5 months ago
2007
ACM
Processing and storage of confidential or critical information is an every day occurrence in computing systems. The trustworthiness of computing devices has become an important co...
123
click to vote
JCS
2011
14 years 11 months ago
2011
In this paper we consider the problem of verifying trace-based information flow properties for different classes of system models. We begin by proposing an automata-theoretic te...
112
click to vote
TAPSOFT
1997
Springer
15 years 8 months ago
1997
Springer
This paper presents a type system which guarantees that well-typed programs in a procedural programming language satisfy a noninterference security property. With all program input...
131
click to vote
ACMSE
2006
ACM
15 years 10 months ago
2006
ACM
Authentication, access control, and audit (3As) are three fundamental mechanisms in enterprise security management for countering various types of looming threats from both inside...