Towards Creating a DSL Facilitating Modelling of Dynamic Access Control in Event-B

Inna Vistbakka, Mikhail Barash, Elena Troubitsyna

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

3 Citations (Scopus)
Original languageUndefined/Unknown
Title of host publicationAbstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings
EditorsMichael J. Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl
PublisherSpringer
Pages386–391
ISBN (Electronic)978-3-319-91271-4
ISBN (Print)978-3-319-91270-7
DOIs
Publication statusPublished - 2018
MoE publication typeA4 Article in a conference publication
EventInternational ABZ Conference on ASM, Alloy, B, TLA, VDM, and Z - 6th International ABZ Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z
Duration: 5 Jun 20188 Jun 2018

Conference

ConferenceInternational ABZ Conference on ASM, Alloy, B, TLA, VDM, and Z
Period05/06/1808/06/18

Keywords

  • Access control
  • DSL
  • Event-B
  • JetBrains MPS
  • Verification

Cite this