Transforming a Proof System into Prolog for Verifying Security Protocols Together

A. Bossi; S. Etalle; S. Rossi

Transforming a Proof System into Prolog for Verifying Security Protocols Together

A. Bossi
, S. Etalle
, S. Rossi

Research output: Contribution to conference › Paper › peer-review

Original language	English
Publication status	Published - 2001
Event	11th International Workshop on Logic Based Program Synthesis and Transformation, LOPSTR 2001 - Paphos, Greece Duration: 28 Nov 2001 → 30 Nov 2001

Workshop

Workshop	11th International Workshop on Logic Based Program Synthesis and Transformation, LOPSTR 2001
Period	28/11/01 → 30/11/01
Other	November 28-30, 2001

Cite this

@conference{c942750e8ec84d65bbcf757f9644445b,

title = "Transforming a Proof System into Prolog for Verifying Security Protocols Together",

author = "A. Bossi and S. Etalle and S. Rossi",

note = "Pre-proceedings ; 11th International Workshop on Logic Based Program Synthesis and Transformation, LOPSTR 2001 ; Conference date: 28-11-2001 Through 30-11-2001",

year = "2001",

language = "English",

}