4111 search results - page 219 / 823 » Security, Protocols, and Trust |
WECWIS
2003
IEEE
14 years 4 months ago
2003
IEEE
The huge success of eBay has proven the demand for customer-to-customer (C2C) electronic commerce. eBay is a centralized infrastructure with all its scalability problems (network ...
CSFW
2009
IEEE
14 years 5 months ago
2009
IEEE
Abstract. We present aspier – the first framework that combines software model checking with a standard protocol security model to analyze authentication and secrecy properties ...
GECCO
2007
Springer
14 years 5 months ago
2007
Springer
Design, development and evaluation of adaptive, scalable, and power aware Bio/Nature inspired routing protocols has received a significant amount of attention in the recent past....
ASM
2005
ASM
14 years 4 months ago
2005
ASM
In this paper we present a modeling technique for security protocols using Abstract State Machines [BS03,Gur95] (ASMs). We describe how we model the different agents in the scenar...
CCS
2010
ACM
13 years 8 months ago
2010
ACM
We address the insecurity problem for cryptographic protocols, for an active intruder and a bounded number of sessions. The protocol steps are modeled as rigid Horn clauses, and t...