Sciweavers

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