合金与时间自动机在访问控制规范建模与分析中的比较

2014 Third International Conference on Cyber Security, Cyber Warfare and Digital Forensic (CyberSec) Pub Date : 2014-10-02 DOI:10.1109/CyberSec.2014.6913965

Emsaieb Geepalla

{"title":"合金与时间自动机在访问控制规范建模与分析中的比较","authors":"Emsaieb Geepalla","doi":"10.1109/CyberSec.2014.6913965","DOIUrl":null,"url":null,"abstract":"This paper presents a comparative study between Alloy and Timed Automata for modelling and analysing of access control specifications. In particular, this paper compares Alloy and Timed Automata for modelling and analysing of Access Control specifications in the context of Spatio-Temporal Role Based Access Control (STRBAC) from capability and performance points of view. To conduct the comparison study the same case study (SECURE bank system) is specified using Alloy and Timed Automata. In order to transform the specification of the Secure Bank system into Alloy and Timed Automata this paper makes use of our earlier methods AC2Alloy and AC2Uppaal respectively. The paper then identifies the most important advantages and disadvantages of Alloy and Timed Automata for modelling and analysing of access control specifications.","PeriodicalId":383642,"journal":{"name":"2014 Third International Conference on Cyber Security, Cyber Warfare and Digital Forensic (CyberSec)","volume":"78 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2014-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Comparison between Alloy and Timed Automata for modelling and analysing of access control specifications\",\"authors\":\"Emsaieb Geepalla\",\"doi\":\"10.1109/CyberSec.2014.6913965\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper presents a comparative study between Alloy and Timed Automata for modelling and analysing of access control specifications. In particular, this paper compares Alloy and Timed Automata for modelling and analysing of Access Control specifications in the context of Spatio-Temporal Role Based Access Control (STRBAC) from capability and performance points of view. To conduct the comparison study the same case study (SECURE bank system) is specified using Alloy and Timed Automata. In order to transform the specification of the Secure Bank system into Alloy and Timed Automata this paper makes use of our earlier methods AC2Alloy and AC2Uppaal respectively. The paper then identifies the most important advantages and disadvantages of Alloy and Timed Automata for modelling and analysing of access control specifications.\",\"PeriodicalId\":383642,\"journal\":{\"name\":\"2014 Third International Conference on Cyber Security, Cyber Warfare and Digital Forensic (CyberSec)\",\"volume\":\"78 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2014-10-02\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2014 Third International Conference on Cyber Security, Cyber Warfare and Digital Forensic (CyberSec)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/CyberSec.2014.6913965\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2014 Third International Conference on Cyber Security, Cyber Warfare and Digital Forensic (CyberSec)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CyberSec.2014.6913965","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

本文介绍了在访问控制规范建模和分析方面，合金自动机和时间自动机的比较研究。特别地，本文从能力和性能的角度比较了合金和时间自动机在基于时空角色的访问控制(STRBAC)背景下对访问控制规范的建模和分析。为了进行比较研究，使用Alloy和定时自动机指定了相同的案例研究(安全银行系统)。为了将安全银行系统的规范转换为合金和时间自动机，本文分别利用了我们以前的方法AC2Alloy和AC2Uppaal。然后，本文确定了合金自动机和时间自动机对访问控制规范建模和分析的最重要的优点和缺点。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Comparison between Alloy and Timed Automata for modelling and analysing of access control specifications

This paper presents a comparative study between Alloy and Timed Automata for modelling and analysing of access control specifications. In particular, this paper compares Alloy and Timed Automata for modelling and analysing of Access Control specifications in the context of Spatio-Temporal Role Based Access Control (STRBAC) from capability and performance points of view. To conduct the comparison study the same case study (SECURE bank system) is specified using Alloy and Timed Automata. In order to transform the specification of the Secure Bank system into Alloy and Timed Automata this paper makes use of our earlier methods AC2Alloy and AC2Uppaal respectively. The paper then identifies the most important advantages and disadvantages of Alloy and Timed Automata for modelling and analysing of access control specifications.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2014 Third International Conference on Cyber Security, Cyber Warfare and Digital Forensic (CyberSec)

自引率

0.00%

发文量