Automatic generation of history-based access control from information flow specification

DOI10.1007/978-3-642-15643-4_20MaRDI QIDQ4931297zbMATH OpenOpenAlexFDO

Authors Yoshiaki Takata, Hiroyuki Seki

Publication date 4 October 2010

Published in Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-15643-4_20

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)

Recommendations

• Foundations of Software Science and Computational Structures
• Trustworthy Global Computing
• A semantic approach to secure information flow
• Information flow control in software DB units based on formal verification
• Theoretical Computer Science

Cited in

(1)

• Foundations of Software Science and Computational Structures

Describes a project that uses

Uses Software

• HBAC

This page was built for publication: Automatic generation of history-based access control from information flow specification

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