电子机构基于角色的访问控制模型
Electronic Institutions Role-Based Access Control Model
摘要
根据电子机构的基本概念、结构,提出了电子机构基于角色的访问控制模型,并与传统的基于角色的访问控制模型进行比较。采用重写逻辑Maude工具中面向对象的建模方法对该模型进行建模,并将模型应用到医院管理信息系统中。测试结果表明该模型可以作为一个共享的安全模块内核,对于具体的应用域电子机构只需做一些简单的定义和配置就可以运行。
出处
《计算机系统应用》
2009年第9期50-53,共4页
Computer Systems & Applications
参考文献3
-
1杜萍,刘弘.改进的协同系统中基于角色的访问控制模型[J].计算机工程与应用,2006,42(A01):8-10. 被引量：1
-
2李红霞,蔡国永.电子机构的安全性分析研究[J].计算机系统应用,2008,17(8):46-50. 被引量：2
-
3蔡国永,高济,董荣胜.电子机构的进程代数模型研究[J].微电子学与计算机,2007,24(10):74-77. 被引量：2
二级参考文献11
-
1张路桥,赵军,何林波.基于角色的访问控制综述[J].科技信息,2007(10):38-38. 被引量：3
-
2[1]Huib Aldewereld,Frank Dignum,Andres Garcia-Camino,Pablo Noriega,Juan Antonio RodriguezAguilar.Operationalisation of Norms for Electronic Institutions.Lecture Notes in Computer Science,2007:163-176.
-
3[3]Marc-Philippe Huget,Marc Esteva,Steve Phelps,Caries Sierra,Michael Wooldridge.Model Checking Electronic Institutions.In Proceedings of Model Checking and Artificial Intelligence(MoChArt).Lyon,France.2002,07.
-
4[4]Vazquez-Salceda J,Padget J.A,Cortes U.LopezNavidad A.,Caballero F.Formalizing an electronic institution for the distribution of human tissues.Artificial Intelligence in Medicine.Elsevier.2003.03,27(3):233-258.
-
5[5]M.Estena.Electronic Institutions:from specification to development.PhD thesis,Technical.University of Catalonia.2003.
-
6[10]F.Duran,A.Vallecillo.Writing ODP enterprise Specifications in Mande.Proceedings of ICEIS 2001,Workshop On Open Distributed Processing-WOODPECKER 2001,J.Cordeiro,H.Kilov(Eds.),Setubal,Portugal,July 2001:55-68.
-
7Milner R.Communication and concurrency[M].Prentice Hall,1989
-
8Esteva M.Electronic institutions:from specification to development[D].IIIA Ph.D.Monography,2003.
-
9Milner R Parrow J,Walker D,A calculus of mobile processes[J].Information and Computation,1992,100(1):1-77
-
10Cianearini P,Niestmsz O,Tolksdorf R.A case study in coordination:conference management on the internet[EB/OL].ftp://cs.unibo.it/pub/cianca/coordina.ps,2002
-
1李红霞,蔡国永.电子机构的安全性分析研究[J].计算机系统应用,2008,17(8):46-50. 被引量：2
-
2史磊,蔡国永,隋新.电子机构的信息流安全分析[J].微电子学与计算机,2009,26(8):196-200.
-
3史磊,蔡国永,隋新.电子机构的信息流控制研究[J].计算机工程,2011,37(2):120-122.
-
4叶俊民,张坤,叶竹君,陈盼,陈曙.一种基于活性顺序图的运行时验证研究[J].计算机科学,2016,43(8):137-141. 被引量：1
-
5栾天骄,陈仪香,王江涛.实时系统规范语言STeC的Maude重写系统[J].计算机工程,2013,39(10):57-62. 被引量：2
-
6戚正伟,毛宏燕,尤晋元.基于重写逻辑的Web服务事务处理形式化描述[J].计算机学报,2005,28(4):661-666. 被引量：1
-
7聂锡宁,蔡国永.Petri网的重写逻辑模型及其属性验证[J].桂林电子科技大学学报,2011,31(3):208-212. 被引量：1
-
8尹剑飞,王学斌.模型转换的重写逻辑构架研究[J].计算机工程与应用,2006,42(2):14-16. 被引量：2
-
9蔡国永,高济,董荣胜.电子机构的进程代数模型研究[J].微电子学与计算机,2007,24(10):74-77. 被引量：2
-
10尹剑飞,郭荷清,欧毓毅.基于重写逻辑的UML模型一致性检查方法[J].计算机工程,2006,32(8):23-25. 被引量：1
