Security-typed languages and distributed computation
From MaRDI portal
Recommendations
- Compiling Information-Flow Security to Minimal Trusted Computing Bases
- Cryptographically sound implementations for typed information-flow security
- scientific article; zbMATH DE number 1948408
- Securing the future -- an information flow analysis of a distributed OO language
- Verification, Model Checking, and Abstract Interpretation
Cited in
(20)- Fibred security language
- Trust and partial typing in open systems of mobile agents
- Information flow analysis for valued-indexed data security compartments
- Securing the future -- an information flow analysis of a distributed OO language
- A domain-specific language for computing on encrypted data. (Invited talk)
- Acute: high-level programming language design for distributed computation
- Using security policies to write secure software
- Cryptographically sound implementations for typed information-flow security
- More Typed Assembly Languages for Confidentiality
- Automating security mediation placement
- scientific article; zbMATH DE number 1948408 (Why is no real title available?)
- Programming access control: The KLAIM experience
- Language-based security: what's needed and why
- MetaKlaim: a type safe multi-stage language for global computing
- Type systems for distributed data structures
- A type system for expressive security policies
- Acute: High-level programming language design for distributed computation
- Programming Languages and Systems
- Security valuation of distributed component-based program systems.
- Static Analysis
This page was built for publication: Security-typed languages and distributed computation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4778713)
