Sciweavers

5188 search results - page 18 / 1038
» Information Flow in Interactive Systems
Sort
View
165
Voted
ICFP
2012
ACM
13 years 6 months ago
Addressing covert termination and timing channels in concurrent information flow systems
When termination of a program is observable by an adversary, confidential information may be leaked by terminating accordingly. While this termination covert channel has limited ...
Deian Stefan, Alejandro Russo, Pablo Buiras, Amit ...
115
Voted
IEEEARES
2010
IEEE
15 years 10 months ago
Information Flow in Disaster Management Systems
Achim D. Brucker, Dieter Hutter
WISTP
2007
Springer
15 years 9 months ago
An Information Flow Verifier for Small Embedded Systems
Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-...
99
Voted
FCT
2005
Springer
15 years 9 months ago
A Type System for Computationally Secure Information Flow
Peeter Laud, Varmo Vene
84
Voted
INFSOF
2008
80views more  INFSOF 2008»
15 years 3 months ago
A framework to analyze information systems as knowledge flow facilitators
Oscar M. Rodríguez-Elias, Ana I. Mart&iacut...