3081 search results - page 312 / 617 » A Formal Ontology of Properties |
202
click to vote
CSFW
2008
IEEE
15 years 8 months ago
2008
IEEE
We present a general technique for modeling remote electronic voting protocols in the applied pi-calculus and for automatically verifying their security. In the first part of this...
178
click to vote
IJISEC
2007
15 years 6 months ago
2007
Abstract. We examine the popular proof models for group key establishment of Bresson et al. [BCPQ01,BCP01] and point out missing security properties addressing malicious protocol p...
165
click to vote
JUCS
2007
15 years 6 months ago
2007
: Payment systems need to address a number of security issues in order to be an effective and secure means of transferring payments across the Internet. To be accessible to a wider...
141
click to vote
JAIR
2011
15 years 1 months ago
2011
We introduce a novel logical notion–partial entailment–to propositional logic. In contrast with classical entailment, that a formula P partially entails another formula Q with...
187
click to vote
SIGSOFT
2009
ACM
16 years 7 months ago
2009
ACM
System specifications have long been expressed through automata-based languages, enabling verification techniques such as model checking. These verification techniques can assess ...