1059 search results - page 191 / 212 » Modeling Security Protocols as Games |
122
Voted
SEFM
2007
IEEE
15 years 10 months ago
2007
IEEE
The Mondex Case study is still the most substantial contribution to the Grand Challenge repository. It has been the target of a number of formal verification efforts. Those effor...
133
Voted
SAFECOMP
2007
Springer
15 years 9 months ago
2007
Springer
We discuss the problem of generating test suites from UML state machines and present a method to extend the capabilities of existing automated test case generators. Current tools p...
130
Voted
DCOSS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. While sensor networks have recently emerged as a promising computing model, they are vulnerable to various node compromising attacks. In this paper, we propose COOL, a CO...
126
Voted
JCS
2011
14 years 10 months ago
2011
We present a model of adaptive attacks which we combine with information-theoretic metrics to quantify the information revealed to an adaptive adversary. This enables us to expres...
127
Voted
CSREASAM
2008
15 years 5 months ago
2008
: Children's privacy has become critical with the increasing use of the Internet for commercial purposes and corresponding increase in requests for information. 65% of childre...