671 search results - page 13 / 135 » A Modeling Framework for Generating Security Protocol Specif... |
111
click to vote
CSFW
2012
IEEE
13 years 7 days ago
2012
IEEE
The onion routing network Tor is undoubtedly the most widely employed technology for anonymous web access. Although the underlying onion routing (OR) protocol appears satisfactory...
DAC
2003
ACM
15 years 10 months ago
2003
ACM
We describe a technique for verifying that a hardware design correctly implements a protocol-level formal specification. Simulation steps are translated to protocol state transiti...
CLEIEJ
2002
14 years 9 months ago
2002
This paper presents a Component-based Framework Development Process, of the Cardiology Domain. The Framework, called FrameCardio, was developed in 4 steps: 1Problem Domain Definit...
100
click to vote
ISSE
2010
14 years 4 months ago
2010
In this work, we address the formalisation of symmetric nets, a subclass of coloured Petri nets, refinement in COQ. We first provide a formalisation of the net models, and of thei...
FAC
2008
14 years 9 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...