Sciweavers

206 search results - page 2 / 42
» A Logic of Privacy
Sort
View
FOSAD
2000
Springer
15 years 7 months ago
The Logic of Authentication Protocols
Paul F. Syverson, Iliano Cervesato
112
Voted
SP
2002
IEEE
147views Security Privacy» more  SP 2002»
15 years 3 months ago
Binder, a Logic-Based Security Language
John DeTreville
111
Voted
EUSFLAT
2009
107views Fuzzy Logic» more  EUSFLAT 2009»
15 years 1 months ago
On the Use of Aggregation Operators for Location Privacy
Aïda Valls, Jordi Nin, Vicenç Torra
CSFW
2003
IEEE
15 years 9 months ago
A Derivation System for Security Protocols and its Logical Formalization
Anupam Datta, Ante Derek, John C. Mitchell, Dusko ...