1059 search results - page 191 / 212 » Modeling Security Protocols as Games |
167
click to vote
SEFM
2007
IEEE
16 years 24 days 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...
179
click to vote
SAFECOMP
2007
Springer
16 years 19 days 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...
165
click to vote
DCOSS
2006
Springer
15 years 10 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...
176
click to vote
JCS
2011
15 years 1 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...
167
click to vote
CSREASAM
2008
15 years 8 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...