scientific article
From MaRDI portal
Publication:2763665
zbMath0977.68021MaRDI QIDQ2763665
Andrew C. Myers, Steve Zdancewic
Publication date: 21 January 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2028/20280046
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Data encryption (aspects in computer science) (68P25) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (4)
Instruction-level security analysis for information flow in stack-based assembly languages ⋮ Security types preserving compilation ⋮ Abstract interpretation of operational semantics for secure information flow. ⋮ Quantifying Probabilistic Information Flow in Computational Reactive Systems
This page was built for publication:
