Fundamentals of Computation Theory

DOI10.1007/11537311zbMath1123.68034OpenAlexW2491671784MaRDI QIDQ5492942

Peeter Laud, Varmo Vene

Publication date: 20 October 2006

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

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

Mathematics Subject Classification ID

Cryptography (94A60) Data encryption (aspects in computer science) (68P25) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Authentication, digital signatures and secret sharing (94A62)

Related Items (3)

Cryptographically-masked flows ⋮ A survey of symbolic methods in computational analysis of cryptographic systems ⋮ Computationally Sound Typing for Non-interference: The Case of Deterministic Encryption

This page was built for publication: Fundamentals of Computation Theory