Automatic Generation of History-Based Access Control from Information Flow Specification

DOI10.1007/978-3-642-15643-4_20zbMATH Open1305.68064OpenAlexW1597636709MaRDI QIDQ4931297

Hiroyuki Seki, Yoshiaki Takata

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

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

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)