Modelling and Verification of Dynamic Role-Based Access Control

Inna Vistbakka, Elena Troubitsyna

Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

1 Citation (Scopus)
Original languageUndefined/Unknown
Title of host publicationVerification and Evaluation of Computer and Communication Systems - 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings
EditorsMohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez
PublisherSpringer
Pages48–63
ISBN (Electronic)978-3-030-00359-3
ISBN (Print)978-3-030-00358-6
DOIs
Publication statusPublished - 2018
MoE publication typeA4 Article in a conference publication
EventInternational Conference on Verification and Evaluation of Computer and Communication Systems, VECoS - 12th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2018
Duration: 26 Sep 201828 Sep 2018

Conference

ConferenceInternational Conference on Verification and Evaluation of Computer and Communication Systems, VECoS
Period26/09/1828/09/18

Cite this