219 search results - page 26 / 44 » Browser Model for Security Analysis of Browser-Based Protoco... |
139
click to vote
ESORICS
2002
Springer
16 years 3 months ago
2002
Springer
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...
153
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Getting agents in the Internet, and in networks in general, to invest in and deploy security features and protocols is a challenge, in particular because of economic reasons arisi...
156
Voted
MSWIM
2009
ACM
15 years 10 months ago
2009
ACM
Host Identity Protocol (HIP) decouples IP addresses from higher layer Internet applications by proposing a new, cryptographic namespace for host identities. HIP has great potentia...
137
Voted
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
We present a translation of a generic stochastic process algebra model into a form suitable for stochastic simulation. By systematically generating rate equations from a process d...
149
Voted
CCS
2010
ACM
15 years 3 months ago
2010
ACM
Many cryptographic tasks and protocols, such as non-repudiation, contract-signing, voting, auction, identity-based encryption, and certain forms of secure multi-party computation,...