A type system for expressive security policies
From MaRDI portal
Publication:5178857
DOI10.1145/325694.325728zbMath1323.68233OpenAlexW2160829153MaRDI QIDQ5178857
No author found.
Publication date: 17 March 2015
Published in: Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/325694.325728
Formal languages and automata (68Q45) Cryptography (94A60) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (6)
Refinement checking for privacy policies ⋮ Security monitor inlining and certification for multithreaded Java ⋮ Types and trace effects for object orientation ⋮ Automated techniques for provably safe mobile code. ⋮ safeDpi: a language for controlling mobile code ⋮ Language-Based Program Verification via Expressive Types
This page was built for publication: A type system for expressive security policies
