216 search results - page 36 / 44 » Models and Proofs of Protocol Security: A Progress Report |
DANCE
2002
IEEE
14 years 9 days ago
2002
IEEE
Although active networks have generated much debate in the research community, on the whole there has been little hard evidence to inform this debate. This paper aims to redress t...
ACSAC
2010
IEEE
13 years 5 months ago
2010
IEEE
Leakage of confidential information represents a serious security risk. Despite a number of novel, theoretical advances, it has been unclear if and how quantitative approaches to ...
IIWAS
2003
13 years 8 months ago
2003
This paper reports a research in progress to study the effect of information seeking behavior on an online purchase intention. There are several strategies people use to find info...
ESORICS
2005
Springer
14 years 27 days ago
2005
Springer
The abstraction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently si...
ISW
2004
Springer
14 years 21 days ago
2004
Springer
Abstract. Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protoco...