5324 search results - page 146 / 1065 » Internet Security Protocols |
170
click to vote
NDSS
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper describes automatic protocol generation (APG for short), a novel mechanism to generate security protocols automatically. With APG, the protocol designer inputs the spec...
165
click to vote
JUCS
2008
15 years 6 months ago
2008
: As soon as major protocol flaws were discovered empirically -- a good luck that is not older than the early 1990s -- this title question came up to the world. It was soon realise...
169
click to vote
SP
2006
IEEE
16 years 11 days 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...
173
click to vote
COMPSAC
2009
IEEE
16 years 1 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...
166
click to vote
ISCC
2008
IEEE
16 years 23 days 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...