Sciweavers

5119 search results - page 64 / 1024

» Security Privacy

141

CSFW
2006
IEEE

100views Security Privacy» more CSFW 2006»

A Temporal Logic Characterisation of Observational Determinism

15 years 10 months ago

A Temporal Logic Characterisation of Observational Determinism

Download www.loria.fr

Marieke Huisman, Pratik Worah, Kim Sunesen

claim paper

Read More »

136

ESORICS
2006
Springer

122views Security Privacy» more ESORICS 2006»

From Coupling Relations to Mated Invariants for Checking Information Flow

15 years 10 months ago

From Coupling Relations to Mated Invariants for Checking Information Flow

Download www.cs.stevens.edu

David A. Naumann

claim paper

Read More »

142

ETRICS
2006

95views Security Privacy» more ETRICS 2006»

Filtering for Private Collaborative Benchmarking

15 years 10 months ago

Filtering for Private Collaborative Benchmarking

Download www.cs.helsinki.fi

Florian Kerschbaum, Orestis Terzidis

claim paper

Read More »

153

ACISP
2001
Springer

81views Security Privacy» more ACISP 2001»

Error Detection and Authentication in Quantum Key Distribution

15 years 10 months ago

Error Detection and Authentication in Quantum Key Distribution

Download www.nict.go.jp

Akihiro Yamamura, Hirokazu Ishizuka

claim paper

Read More »

124

ACSAC
2001
IEEE

88views Security Privacy» more ACSAC 2001»

An Information Flow Tool for Gypsy

15 years 10 months ago

An Information Flow Tool for Gypsy

Download www.acsac.org

John McHugh

claim paper

Read More »

« Prev « First page 64 / 1024 Last » Next »