51 search results - page 2 / 11 » Analysing a Stream Authentication Protocol Using Model Check... |
CANS
2006
Springer
13 years 10 months ago
2006
Springer
We address the multicast stream authentication problem when the communication channel is under the control of an opponent who can drop, reorder or inject data. In such a network m...
CSFW
2007
IEEE
14 years 23 days ago
2007
IEEE
Most model checking techniques for security protocols make a number of simplifying assumptions on the protocol and/or on its execution environment that prevent their applicability...
CIS
2007
Springer
14 years 18 days ago
2007
Springer
The session initiation protocol (SIP) is considered as the dominant signaling protocol for calls over the internet. However, SIP authentication typically uses HTTP digest authentic...
AFRICACRYPT
2009
Springer
14 years 1 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...
CANS
2009
Springer
14 years 1 months ago
2009
Springer
In this paper, we study the broadcast authentication problem for both erasure and adversarial networks. Two important concerns for authentication protocols are the authentication ...