5188 search results - page 34 / 1038 » Information Flow in Interactive Systems |
166
Voted
EUROSYS
2008
ACM
16 years 22 days 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 ...
131
Voted
ESORICS
2004
Springer
15 years 7 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...
138
Voted
ATVA
2010
Springer
15 years 3 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...
117
Voted
CISS
2008
IEEE
15 years 10 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...
124
Voted
TSE
2010
15 years 2 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...