263 search results - page 48 / 53 » A Computationally Sound Mechanized Prover for Security Proto... |
ECUMN
2007
Springer
14 years 1 months ago
2007
Springer
The Datagram Congestion Control Protocol (DCCP) has been proposed as a transport protocol which supports real-time traffic. In this paper, we focus on the use of DCCP/CCID3 (Cong...
SC
2005
ACM
14 years 1 months ago
2005
ACM
The GridFTP extensions to the File Transfer Protocol define a general-purpose mechanism for secure, reliable, high-performance data movement. We report here on the Globus striped ...
ICNS
2009
IEEE
14 years 2 months ago
2009
IEEE
—The majority of security protocols employ public key cryptography for authentication at least in the connection setup phase. However, verifying digital signatures is an expensiv...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Wireless networks are a common place nowadays and almost all of the modern devices support wireless communication in some form. These networks differ from more traditional computi...
DSOM
2003
Springer
14 years 20 days ago
2003
Springer
Instead of relying completely on machine intelligence in anomaly event analysis and correlation, in this paper, we take one step back and investigate the possibility of a human-int...