Usage Automata
From MaRDI portal
Publication:3184712
DOI10.1007/978-3-642-03459-6_4zbMath1252.68162OpenAlexW2911387118MaRDI QIDQ3184712
Publication date: 22 October 2009
Published in: Foundations and Applications of Security Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-03459-6_4
Related Items (3)
Layered memory automata: recognizers for quasi-regular languages with unbounded memory ⋮ Gate automata-driven run-time enforcement ⋮ Model checking usage policies
This page was built for publication: Usage Automata
