scientific article; zbMATH DE number 1962760

MaRDI QIDQ4418591zbMATH OpenFDO

Authors Koji Hasebe, Mitsuhiro Okada

Publication date 11 August 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2609/26090417.htm

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• Security protocols: from linear to classical logic by abstract interpretation
• Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols
• Publication:4934730
• scientific article; zbMATH DE number 1538052
• Completeness and counter-example generations of a basic protocol logic (extended abstract)

Cited in

(1)

• Security protocols: from linear to classical logic by abstract interpretation

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4418591)