15644 search results - page 333 / 3129 » Brittle System Analysis |
235
Voted
VALUETOOLS
2006
ACM
16 years 21 days ago
2006
ACM
In this paper we describe the design, implementation, and analytical background of the DISCO Network Calculator. The DISCO Network Calculator is an open-source toolbox written in ...
122
Voted
NOSSDAV
2005
Springer
16 years 7 days ago
2005
Springer
164
click to vote
FOSSACS
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Using a probabilistic polynomial-time process calculus designed for specifying security properties as observational equivalences, we develop a form of bisimulation that j...