Transforming a Proof System into Prolog for Verifying Security Protocols Together

A. Bossi, Sandro Etalle, S. Rossi

Research output: Book/Report › Report › Professional

Original language	Undefined
Place of Publication	Paphos, Cyprus, nov. 2001
Publisher	11th Int. workshop on Logic-based Progr.Syn. & Trans.
Publication status	Published - 2001

Keywords

@book{c942750e8ec84d65bbcf757f9644445b,

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

keywords = "METIS-203771",

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

note = "Pre-proceedings ",

year = "2001",

language = "Undefined",

publisher = "11th Int. workshop on Logic-based Progr.Syn. & Trans.",

}

TY - BOOK

T1 - Transforming a Proof System into Prolog for Verifying Security Protocols Together

AU - Bossi, A.

AU - Etalle, Sandro

AU - Rossi, S.

N1 - Pre-proceedings

PY - 2001

Y1 - 2001

KW - METIS-203771

M3 - Report

BT - Transforming a Proof System into Prolog for Verifying Security Protocols Together

PB - 11th Int. workshop on Logic-based Progr.Syn. & Trans.

CY - Paphos, Cyprus, nov. 2001

ER -