Sciweavers

206 search results - page 2 / 42
» A Logic of Privacy
Sort
View
FOSAD
2000
Springer
13 years 8 months ago
The Logic of Authentication Protocols
Paul F. Syverson, Iliano Cervesato
EUSFLAT
2009
107views Fuzzy Logic» more  EUSFLAT 2009»
13 years 3 months ago
On the Use of Aggregation Operators for Location Privacy
Aïda Valls, Jordi Nin, Vicenç Torra
CSFW
2003
IEEE
13 years 10 months ago
A Derivation System for Security Protocols and its Logical Formalization
Anupam Datta, Ante Derek, John C. Mitchell, Dusko ...