21 search results - page 1 / 5 » fac 2008 |
71
Voted
FAC
2008
15 years 18 days ago
2008
83
Voted
FAC
2008
15 years 18 days ago
2008
Abstract. Bisimulations are well
108
click to vote
FAC
2008
15 years 18 days 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...
109
click to vote
FAC
2008
15 years 18 days 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 ...
76
Voted
FAC
2008
15 years 18 days 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...