Automated Model-Based Testing of Role-Based Access Control Using Predicate/Transition Nets

DOI10.1109/TC.2014.2375189MaRDI QIDQ2982096zbMATH OpenOpenAlexFDO

Authors Dianxiang Xu, Michael Kent, Lijo Thomas, Tejeddine Mouelhi, Yves le Traon

Publication date 16 May 2017

Published in IEEE Transactions on Computers (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/tc.2014.2375189

Mathematics Subject Classification ID

Distributed systems (68M14) Reliability, testing and fault tolerance of networks and computer systems (68M15) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Automated Model-Based Testing of Role-Based Access Control Using Predicate/Transition Nets

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