Towards the Specification of Natural Language Accountability Policies with AccLab: The Laptop Policy Use Case
作者： Walid Benghabrit , Jean-Claude Royer , Anderson Santana de Oliveira
DOI:
关键词: Order (business) 、 Natural language 、 Laptop 、 Process management 、 Computer science 、 Computer security 、 Accountability 、 Work (electrical)
摘要: Accountability means to obey a contract and ensure responsibilities in case of violations. In previous work we defined the Abstract Language (AAL) its AccLab tool support. order evaluate suitability our language experiment with laptop user agreement, one policies Hope University Liverpool.
archives-ouvertes.fr
univ-nantes.fr参考文章(3)
Michael Fisher, An Introduction to Practical Formal Methods Using Temporal Logic ,(2011)
Michel Ludwig, Ullrich Hustadt, Implementing a fair monodic temporal logic prover Ai Communications. ,vol. 23, pp. 69- 96 ,(2010) , 10.3233/AIC-2010-0457
Walid Benghabrit, Herve Grall, Jean-Claude Royer, Mohamed Sellami, Abstract Accountability Language: Translation, Compliance and Application asia-pacific software engineering conference. pp. 214- 221 ,(2015) , 10.1109/APSEC.2015.14