7741 search results - page 198 / 1549 » Security in Active Networks |
181
click to vote
ESORICS
2004
Springer
16 years 9 hour ago
2004
Springer
We present the first cryptographically sound security proof of the well-known Otway-Rees protocol. More precisely, we show that the protocol is secure against arbitrary active att...
153
click to vote
ASIACRYPT
1999
Springer
15 years 11 months ago
1999
Springer
Problems of secure communication and computation have been studied extensively in network models. Goldreich, Goldwasser, and Linial, Franklin and Yung, and Franklin and Wright have...
191
click to vote
CSFW
2004
IEEE
15 years 10 months ago
2004
IEEE
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 protocol environ...
169
click to vote
ISI
2007
Springer
16 years 23 days ago
2007
Springer
– The difficulty in managing security threats and vulnerabilities for small and medium-sized enterprises (SME) is investigated. A detailed conceptual framework for asset and thre...
173
click to vote
MOBISYS
2007
ACM
16 years 6 months ago
2007
ACM
Smartphones have recently become increasingly popular because they provide "all-in-one" convenience by integrating traditional mobile phones with handheld computing devi...