947 search results - page 83 / 190 » Provable Implementations of Security Protocols |
101
click to vote
CORR
2006
Springer
14 years 12 months ago
2006
Springer
The pervasiveness of wireless communication recently gave mobile ad hoc networks (MANET) a significant researcher's attention, due to its innate capabilities of instant commu...
90
Voted
ACSAC
1999
IEEE
15 years 4 months ago
1999
IEEE
The ATM Forum international consortium recently approved the first version of its security specifications aiming to protect communications over Asynchronous Transfer Mode (ATM) ne...
DEXAW
2003
IEEE
15 years 5 months ago
2003
IEEE
With the rapid growth of the Internet, online voting appears to be a reasonable alternative to conventional elections and other opinion expressing processes. Current research focu...
EUROPKI
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. A standard tool for secure remote access, the SSH protocol uses publickey cryptography to establish an encrypted and integrity-protected channel with a remote server. How...
COMPSAC
2008
IEEE
15 years 6 months ago
2008
IEEE
This work introduces probabilistic model checking as a viable tool-assisted approach for systematically quantifying DoS security threats. The proposed analysis is based on a proba...