21 search results - page 1 / 5 » fac 2008 |
FAC
2008
13 years 4 months ago
2008
FAC
2008
13 years 4 months ago
2008
Abstract. Bisimulations are well
FAC
2008
13 years 4 months ago
2008
This paper describes how the communication protocol of Mondex electronic purses can be specified and verified against desired security properties. The specification is developed by...
FAC
2008
13 years 4 months ago
2008
We describe our experiences in mechanising the specification, refinement, and proof of the Mondex Electronic Purse using the Z/Eves theorem prover. We took a conservative approach ...
FAC
2008
13 years 4 months ago
2008
A development of the Mondex system was undertaken using Event-B and its associated proof tools. mental approach was used whereby the refinement between the abstract specification o...