293 search results - page 14 / 59 » Formal Security Analysis with Interacting State Machines |
113
Voted
ISSRE
2002
IEEE
15 years 6 months ago
2002
IEEE
Formal analysis of software is a powerful analysis tool, but can be too costly. Random search of formal models can reduce that cost, but is theoretically incomplete. However, rand...
120
click to vote
ISSTA
1998
ACM
15 years 5 months ago
1998
ACM
We present various techniques for improving the time and space efficiency of symbolic model checking for system requirements specified as synchronous finite state machines. We use...
127
click to vote
CCS
2009
ACM
15 years 5 months ago
2009
ACM
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...
134
Voted
CSFW
1999
IEEE
15 years 6 months ago
1999
IEEE
Most formal approaches to security protocol analysis are based on a set of assumptions commonly referred to as the "Dolev-Yao model." In this paper, we use a multiset re...
128
click to vote
JUCS
2008
15 years 1 months ago
2008
: This paper gives a definition of ASM refinement suitable for the verification that a protocol implements atomic transactions. We used this definition as the basis of the formal v...