1653 search results - page 1 / 331 » Timed analysis of security protocols |
JCS
2007
13 years 4 months ago
2007
CCS
1998
ACM
13 years 9 months ago
1998
ACM
We develop a framework for analyzing security protocols in which protocol adversaries may be arbitrary probabilistic polynomial-time processes. In this framework, protocols are wr...
IEEEARES
2007
IEEE
13 years 11 months ago
2007
IEEE
Assuring information authenticity is an important issue in the field of information security. A new broadcast authentication protocol is proposed. The protocol is based on time sy...
WS
2005
ACM
13 years 10 months ago
2005
ACM
In this paper, we analyze attacks on existing time synchronization protocols for wireless sensor networks. We propose a secure time synchronization toolbox to counter these attack...
AFRICACRYPT
2009
Springer
13 years 11 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...