Sciweavers

1490 search results - page 110 / 298
» The Logic of Authentication Protocols
Sort
View
130
Voted
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 ...
106
Voted
JAPLL
2007
52views more  JAPLL 2007»
15 years 3 months ago
Specifying and verifying interaction protocols in a temporal action logic
Laura Giordano, Alberto Martelli, Camilla Schwind
105
Voted
CORR
2010
Springer
64views Education» more  CORR 2010»
14 years 10 months ago
A Spatial-Epistemic Logic for Reasoning about Security Protocols
Bernardo Toninho, Luís Caires
155
Voted
PEWASUN
2004
ACM
15 years 9 months ago
A framework of secure location service for position-based ad hoc routing
In large and dense mobile ad hoc networks, position-based routing protocols can offer significant performance improvement over topology-based routing protocols by using location i...
Joo-Han Song, Vincent W. S. Wong, Victor C. M. Leu...