219 search results - page 26 / 44 » Browser Model for Security Analysis of Browser-Based Protoco... |
209
Voted
ESORICS
2002
Springer
16 years 7 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 ...
235
Voted
CORR
2008
Springer
15 years 7 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...
250
Voted
MSWIM
2009
ACM
16 years 2 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...
210
click to vote
IPPS
2006
IEEE
16 years 1 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...
236
Voted
CCS
2010
ACM
15 years 7 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,...