3088 search results - page 72 / 618 » Multichannel Security Protocols |
SP
2006
IEEE
14 years 2 months ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...
COMPSAC
2009
IEEE
14 years 3 months ago
2009
IEEE
As computing technology becomes increasingly pervasive and interconnected, mobility leads to shorter-lasting relationships between end-points with many different security requirem...
ISCC
2008
IEEE
14 years 3 months ago
2008
IEEE
The GSM network with the greatest worldwide number of users, succumbs to several security vulnerabilities. The Short Message Service (SMS) is one of its superior and well-tried se...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
The electronic mail plays an unavoidable role in the humankind communications. With the great interest for the connection via mobile platforms, and the growing number of vulnerabil...
ASM
2008
ASM
13 years 10 months ago
2008
ASM
We address the proof-based development of cryptographic protocols satisfying security properties. Communication channels are supposed to be unsafe. Analysing cryptographic protocol...