Privacy, abstract encryption and protocols: An ASM model. I

DOI10.1007/3-540-36498-6_22MaRDI QIDQ4413692zbMATH OpenFDO

Authors Dean Rosenzweig, Davor Runje, Neva Slani

Publication date 21 July 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Cryptography (94A60) Authentication, digital signatures and secret sharing (94A62)

Recommendations

• Abstract State Machines 2004. Advances in Theory and Practice
• Abstracting cryptographic protocols with tree automata.
• Trustworthy Global Computing
• Encryption as an abstract data-type (extended abstract)
• Abstracting cryptographic protocols with tree automata

Cited in

(4)

• A secret-sharing protocol modelled in Maude
• Encryption as an abstract data-type (extended abstract)
• Trustworthy Global Computing
• Abstract State Machines 2004. Advances in Theory and Practice

Describes a project that uses

Uses Software

• AsmL

This page was built for publication: Privacy, abstract encryption and protocols: An ASM model. I

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