4111 search results - page 237 / 823 » Security, Protocols, and Trust |
201
click to vote
AFRICACRYPT
2009
Springer
16 years 2 months ago
2009
Springer
We propose a generic modelling technique that can be used to extend existing frameworks for theoretical security analysis in order to capture the use of timestamps. We apply this t...
185
click to vote
ANSS
2005
IEEE
16 years 26 days ago
2005
IEEE
We present a discrete-event network simulator, called Simnet, designed specifically for analyzing networksecurity protocols. The design and implementation is focused on simplicit...
200
click to vote
ESOP
2005
Springer
16 years 23 days ago
2005
Springer
Since the 1980s, two approaches have been developed for analyzing security protocols. One of the approaches relies on a computational model that considers issues of complexity and ...
204
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
Logics for security protocol analysis require the formalization of an adversary model that specifies the capabilities of adversaries. A common model is the Dolev-Yao model, which c...
196
click to vote
AINA
2008
IEEE
16 years 1 months ago
2008
IEEE
An ad hoc network is a highly dynamic routing network cooperated by a set of wireless mobile nodes without any assistance of centralized access point. ARIADNE is a well-known secu...