scientific article; zbMATH DE number 1948407
From MaRDI portal
Publication:4411972
zbMath1015.68044MaRDI QIDQ4411972
Publication date: 13 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2477/24770360.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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)
Related Items (5)
Secure information flow connections ⋮ Instruction-level security analysis for information flow in stack-based assembly languages ⋮ Symbolic abstract heaps for polymorphic information-flow guard inference ⋮ Only connect, securely ⋮ Abstract Certification of Global Non-interference in Rewriting Logic
This page was built for publication:
