719 search results - page 113 / 144 » Proving Security Protocols Correct |
CONCUR
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. When dealing with process calculi and automata which express both nondeterministic and probabilistic behavior, it is customary to introduce the notion of scheduler to res...
CRYPTO
2006
Springer
15 years 1 months ago
2006
Springer
This paper considers the problem of password-authenticated key exchange (PAKE) in a client-server setting, where the server authenticates using a stored password file, and it is de...
CIG
2005
IEEE
15 years 3 months ago
2005
IEEE
Abstract- Recently, P2P (peer-to-peer) online game systems have attracted a great deal of public attention. They work without central servers, thus, the maintenance and organizatio...
SADFE
2008
IEEE
15 years 4 months ago
2008
IEEE
Secure logs are powerful tools for building systems that must resist forgery, prove temporal relationships, and stand up to forensic scrutiny. The proofs of order and integrity en...
DSOM
2008
Springer
14 years 11 months ago
2008
Springer
The accuracy of detecting an intrusion within a network of intrusion detection systems (IDSes) depends on the efficiency of collaboration between member IDSes. The security itself ...