scientific article; zbMATH DE number 1956552

From MaRDI portal

Revision as of 02:48, 7 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

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

Publication:4417891

Jump to:navigation, search

zbMath1032.68076MaRDI QIDQ4417891

Peeter Laud

Publication date: 30 July 2003

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Cryptography (94A60) Data encryption (aspects in computer science) (68P25) Theory of software (68N99)

Related Items (5)

Type systems equivalent to data-flow analyses for imperative languages ⋮ 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 ⋮ Possibilistic Information Flow Control in the Presence of Encrypted Communication

This page was built for publication:

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