scientific article; zbMATH DE number 1500476

MaRDI QIDQ4501479zbMATH OpenFDO

Authors Jonathon E. Tidswell, John Potter

Publication date 14 January 2001

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25)

Recommendations

• scientific article; zbMATH DE number 1189391
• Safety analysis of the dynamic-typed access matrix model
• A static type system for JVM access control
• A Practical Alternative to Domain and Type Enforcement Integrity Formal Models
• Analysis of dynamic policies

Cited in

(9)

• Towards a configurable security architecture
• A configurable security architecture prototype
• Type Checking by Domain Analysis in Ampersand
• Trusted objects in trusted operating system
• scientific article; zbMATH DE number 1189391 (Why is no real title available?)
• scientific article; zbMATH DE number 1962747 (Why is no real title available?)
• A Practical Alternative to Domain and Type Enforcement Integrity Formal Models
• The structure of a type-safe operating system.
• Safety analysis of the dynamic-typed access matrix model

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 Q4501479)