718 search results - page 124 / 144 » Security protocols, properties, and their monitoring |
143
click to vote
ITNG
2008
IEEE
16 years 8 days ago
2008
IEEE
— Because of limited resources at sensor nodes, sensor networks typically adopt symmetric-key algorithms to provide security functions such as protecting communications between n...
153
click to vote
SEFM
2007
IEEE
16 years 4 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...
165
click to vote
ICALP
2003
Springer
15 years 11 months ago
2003
Springer
We investigate the protection of migrating agents against the untrusted sites they traverse. The resulting calculus provides a formal framework to reason about protection policies ...
182
click to vote
SIGMETRICS
2008
ACM
15 years 5 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
144
click to vote
NDSS
2009
IEEE
16 years 18 days ago
2009
IEEE
We introduce a new paradigm for outsourcing the durability property of a multi-client transactional database to an untrusted service provider. Specifically, we enable untrusted s...