5188 search results - page 34 / 1038 » Information Flow in Interactive Systems |
126
click to vote
EUROSYS
2008
ACM
15 years 8 months ago
2008
ACM
The continuing frequency and seriousness of security incidents underlines the importance of application security. Decentralized information flow control (DIFC), a promising tool ...
ESORICS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We revisit the classical notion of noninterference for statebased systems, as presented by Rushby in 1992. We strengthen his results in several ways, in particular clarif...
ATVA
2010
Springer
14 years 12 months ago
2010
Springer
This paper proposes a method for automatically inserting check statements for access control into a given recursive program according to a given security specification. A history-b...
CISS
2008
IEEE
15 years 6 months ago
2008
IEEE
—Distributed detection of information flows spanning many nodes in a wireless sensor network is considered. In such a system, eavesdroppers are deployed near several nodes in th...
TSE
2010
14 years 10 months ago
2010
Abstract—In multilevel systems it is important to avoid unwanted indirect information flow from higher levels to lower levels, namely the so called covert channels. Initial stud...