scientific article; zbMATH DE number 1954103

zbMath1026.68793MaRDI QIDQ4415096

Ninghui Li, John C. Mitchell

Publication date: 28 July 2003

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Theory of programming languages (68N15) Data encryption (aspects in computer science) (68P25) Computing methodologies and applications (68U99) Distributed systems (68M14)

Related Items

Component-Based Security Policy Design with Colored Petri Nets ⋮ Logic in Access Control (Tutorial Notes) ⋮ A framework for modular ERDF ontologies ⋮ On the verification of security-aware E-services ⋮ A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials ⋮ Analysis of dynamic policies ⋮ Fibred security language ⋮ Access Control in a Core Calculus of Dependency ⋮ A Linear Logic of Authorization and Knowledge

Uses Software

• XSB
• Datalog