scientific article; zbMATH DE number 1948407

MaRDI QIDQ4411972zbMATH OpenFDO

Authors Mirko Zanotti

Publication date 13 July 2003

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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Data encryption (aspects in computer science) (68P25) Semantics in the theory of computing (68Q55)

Recommendations

• Verification, Model Checking, and Abstract Interpretation
• Security-typed programming within dependently typed programming
• A type inference algorithm for secure ambients
• scientific article; zbMATH DE number 1330434
• Towards a Type System for Security APIs
• Security types preserving compilation

Cited in

(17)

• A security flow control algorithm and its denotational semantics correctness proof
• Secure information flow connections
• Instruction-level security analysis for information flow in stack-based assembly languages
• Validating a web service security abstraction by typing
• Union and Intersection Types for Secure Protocol Implementations
• From exponential to polynomial-time security typing via principal types
• Abstract Certification of Global Non-interference in Rewriting Logic
• Towards a Type System for Security APIs
• Integration of a Security Type System into a Program Logic
• On flow-sensitive security types
• Hypercollecting semantics and its application to static analysis of information flow
• Theoretical Aspects of Computing – ICTAC 2005
• Theorem Proving in Higher Order Logics
• Typed Lambda Calculi and Applications
• Symbolic abstract heaps for polymorphic information-flow guard inference
• Only connect, securely
• Integration of a security type system into a program logic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4411972)