Foundations of Software Science and Computation Structures

From MaRDI portal

Revision as of 19:10, 4 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:5899104

Jump to:navigation, search

DOI10.1007/11690634zbMath1180.68037OpenAlexW2504714231MaRDI QIDQ5899104

Sebastian Mödersheim, Michael Backes, Birgit Pfitzmann, Luca Viganò

Publication date: 2 May 2007

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

Full work available at URL: https://doi.org/10.1007/11690634

Mathematics Subject Classification ID

Cryptography (94A60) Data encryption (aspects in computer science) (68P25) Internet topics (68M11)

Related Items (1)

A survey of symbolic methods in computational analysis of cryptographic systems

Uses Software

This page was built for publication: Foundations of Software Science and Computation Structures

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5899104&oldid=16740823"