219 search results - page 2 / 44 » Browser Model for Security Analysis of Browser-Based Protoco... |
ISW
2010
Springer
13 years 2 months ago
2010
Springer
We analyze the Extended Access Control (EAC) protocol for authenticated key agreement, recently proposed by the German Federal Office for Information Security (BSI) for the deploym...
JCS
2010
12 years 11 months ago
2010
We introduce constraint differentiation, a powerful technique for reducing search when model-checking security protocols using constraint-based methods. Constraint differentiation...
CCS
2010
ACM
13 years 4 months ago
2010
ACM
SCN
2011
Springer
12 years 11 months ago
2011
Springer
Model checking cryptographic protocols have evolved to a valuable method for discovering counterintuitive security flaws, which make possible for a hostile agent to subvert the go...
CSFW
2009
IEEE
13 years 11 months ago
2009
IEEE
Cryptographic protocols are crucial for securing electronic transactions. The confidence in these protocols can be increased by the formal analysis of their security properties. ...