Sciweavers

311 search results - page 4 / 63

» Secure Information Flow by Self-Composition

10

SP
2007
IEEE

126views Security Privacy» more SP 2007»

Information Flow in the Peer-Reviewing Process

13 years 11 months ago

Information Flow in the Peer-Reviewing Process

Download www.infsec.cs.uni-saarland.de

Michael Backes, Markus Dürmuth, Dominique Unr...

claim paper

Read More »

10

CCS
2007
ACM

113views Security Privacy» more CCS 2007»

Verification condition generation for conditional information flow

13 years 11 months ago

Verification condition generation for conditional information flow

Download people.cis.ksu.edu

Torben Amtoft, Anindya Banerjee

claim paper

Read More »

15

ESORICS
2006
Springer

122views Security Privacy» more ESORICS 2006»

From Coupling Relations to Mated Invariants for Checking Information Flow

13 years 9 months ago

From Coupling Relations to Mated Invariants for Checking Information Flow

Download www.cs.stevens.edu

David A. Naumann

claim paper

Read More »

10

ACSAC
2001
IEEE

88views Security Privacy» more ACSAC 2001»

An Information Flow Tool for Gypsy

13 years 9 months ago

An Information Flow Tool for Gypsy

Download www.acsac.org

John McHugh

claim paper

Read More »

13

CSFW
2010
IEEE

174views Security Privacy» more CSFW 2010»

Quantitative Information Flow - Verification Hardness and Possibilities

13 years 8 months ago

Quantitative Information Flow - Verification Hardness and Possibilities

Download www.kb.ecei.tohoku.ac.jp

Hirotoshi Yasuoka, Tachio Terauchi

claim paper

Read More »

« Prev « First page 4 / 63 Last » Next »