3115 search results - page 436 / 623 » Synthesizing Secure Protocols |
188
click to vote
CSFW
2012
IEEE
13 years 8 months ago
2012
IEEE
—Formal methods have proved their usefulness for analysing the security of protocols. In this setting, privacy-type security properties (e.g. vote-privacy, anonymity, unlinkabili...
176
click to vote
MOBIHOC
2007
ACM
16 years 5 months ago
2007
ACM
Disruption-Tolerant Networks (DTNs) deliver data in network environments composed of intermittently connected nodes. Just as in traditional networks, malicious nodes within a DTN ...
175
click to vote
ICLP
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. The FORCES project aims at providing robust and declarative formalisms for analyzing systems in the emerging areas of Security Protocols, Biological Systems and Multimedi...
144
click to vote
TGC
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. We study the link between formal and cryptographic models for security protocols in the presence of passive and adaptive adversaries. We first describe the seminal resul...
164
click to vote
LCN
2000
IEEE
15 years 10 months ago
2000
IEEE
Virtual private networks (VPNs) allow two or more parties to communicate securely over a public network. Using cryptographic algorithms and protocols, VPNs provide security servic...