Sciweavers

5119 search results - page 64 / 1024

» Security Privacy

70

CSFW
2006
IEEE

100views Security Privacy» more CSFW 2006»

A Temporal Logic Characterisation of Observational Determinism

15 years 1 months ago

A Temporal Logic Characterisation of Observational Determinism

Download www.loria.fr

Marieke Huisman, Pratik Worah, Kim Sunesen

claim paper

Read More »

65

ESORICS
2006
Springer

122views Security Privacy» more ESORICS 2006»

From Coupling Relations to Mated Invariants for Checking Information Flow

15 years 1 months ago

From Coupling Relations to Mated Invariants for Checking Information Flow

Download www.cs.stevens.edu

David A. Naumann

claim paper

Read More »

66

ETRICS
2006

95views Security Privacy» more ETRICS 2006»

Filtering for Private Collaborative Benchmarking

15 years 1 months ago

Filtering for Private Collaborative Benchmarking

Download www.cs.helsinki.fi

Florian Kerschbaum, Orestis Terzidis

claim paper

Read More »

91

ACISP
2001
Springer

81views Security Privacy» more ACISP 2001»

Error Detection and Authentication in Quantum Key Distribution

15 years 1 months ago

Error Detection and Authentication in Quantum Key Distribution

Download www.nict.go.jp

Akihiro Yamamura, Hirokazu Ishizuka

claim paper

Read More »

64

ACSAC
2001
IEEE

88views Security Privacy» more ACSAC 2001»

An Information Flow Tool for Gypsy

15 years 1 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 »