Search Sciweavers | Sciweavers

5188 search results - page 18 / 1038

» Information Flow in Interactive Systems

130

click to vote

ICFP
2012
ACM

266views Programming Languages» more ICFP 2012»

Addressing covert termination and timing channels in concurrent information flow systems

13 years 2 months ago

Download www.scs.stanford.edu

When termination of a program is observable by an adversary, conﬁdential information may be leaked by terminating accordingly. While this termination covert channel has limited ...

Deian Stefan, Alejandro Russo, Pablo Buiras, Amit ...

claim paper

Read More »

click to vote

IEEEARES
2010
IEEE

175views Security Privacy» more IEEEARES 2010»

Information Flow in Disaster Management Systems

15 years 6 months ago

Download www.brucker.ch

Achim D. Brucker, Dieter Hutter

claim paper

Read More »

click to vote

WISTP
2007
Springer

87views Security Privacy» more WISTP 2007»

An Information Flow Verifier for Small Embedded Systems

15 years 5 months ago

Download wistp2007.wistp.org

Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-...

claim paper

Read More »

click to vote

FCT
2005
Springer

82views Applied Computing» more FCT 2005»

A Type System for Computationally Secure Information Flow

15 years 5 months ago

Download www.cs.ut.ee

Peeter Laud, Varmo Vene

claim paper

Read More »

click to vote

INFSOF
2008

80views more INFSOF 2008»

A framework to analyze information systems as knowledge flow facilitators

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers