718 search results - page 124 / 144 » Security protocols, properties, and their monitoring |
ITNG
2008
IEEE
15 years 8 months 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...
108
click to vote
SEFM
2007
IEEE
15 years 8 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...
119
click to vote
ICALP
2003
Springer
15 years 7 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 ...
125
click to vote
SIGMETRICS
2008
ACM
15 years 1 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...
NDSS
2009
IEEE
15 years 8 months 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...