1653 search results - page 1 / 331 » Timed analysis of security protocols |
54
Voted
JCS
2007
14 years 9 months ago
2007
CCS
1998
ACM
15 years 1 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
15 years 4 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...
82
Voted
WS
2005
ACM
15 years 3 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
15 years 4 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...