323 search results - page 2 / 65 » Verifying the Mondex Case Study |
FAC
2008
13 years 4 months ago
2008
This paper explains how the Alloy model-finding method has been used to check the specification of an electronic purse (also called smart card) system, called the Mondex case study...
JUCS
2008
13 years 4 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...
FAC
2007
13 years 4 months ago
2007
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...
NOCS
2007
IEEE
13 years 11 months ago
2007
IEEE
HICSS
2011
IEEE
12 years 8 months ago
2011
IEEE
Vulnerabilities in a system may have widely varying impacts on system security. In practice, security should not be defined as the absence of vulnerabilities. In practice, securit...