61 search results - page 1 / 13 » Automatic Validation of Protocol Narration |
CSFW
2003
IEEE
13 years 10 months ago
2003
IEEE
We perform a systematic expansion of protocol narrations into terms of a process algebra in order to make precise some of the detailed checks that need to be made in a protocol. W...
STORYTELLING
2007
Springer
13 years 11 months ago
2007
Springer
The proposal of this research project is to develop a standard connection mechanism to make narrative environments and the external systems that control them interoperable. Thanks ...
ESOP
2004
Springer
13 years 10 months ago
2004
Springer
ESOP 2004, LNCS 2986, pages 140–154, 2004. c Springer–Verlag, Berlin Heildelberg 2003. We propose a new method for the static analysis of entity authentication protocols. We d...
TACAS
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. The Succinct Solver Suite offers two analysis engines for solving data and control flow problems expressed in clausal form in a large fragment of first order logic. Th...
DSOM
2004
Springer
13 years 10 months ago
2004
Springer
Netconf is a protocol proposed by the IETF that defines a set of operations for network configuration. One of the main issues of Netconf is to define operations such as validate...