3115 search results - page 203 / 623 » Synthesizing Secure Protocols |
133
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
The pervasiveness of wireless communication recently gave mobile ad hoc networks (MANET) a significant researcher's attention, due to its innate capabilities of instant commu...
148
click to vote
CSFW
2011
IEEE
14 years 3 months ago
2011
IEEE
—We present a Horn-clause-based framework for analysing security protocols that use platform configuration registers (PCRs), which are registers for maintaining state inside the...
149
click to vote
TCC
2005
Springer
15 years 9 months ago
2005
Springer
The standard class of adversaries considered in cryptography is that of strict polynomial-time probabilistic machines. However, expected polynomial-time machines are often also co...
131
click to vote
PERCOM
2008
ACM
15 years 3 months ago
2008
ACM
RFID technology shall increase security, e.g. by helping to prevent counterfeiting. But the technology also causes privacy issues. In this paper, after highlighting goals and prob...
124
click to vote
WS
2005
ACM
15 years 9 months ago
2005
ACM
Vehicular networks are likely to become the most relevant form of ad hoc networks. In this paper, we address the security of these networks. We provide a detailed threat analysis ...