期刊文献+

电子机构的信息流安全分析

Information Flow Security Analysis for Electronic Institution
在线阅读 下载PDF
导出
摘要 电子机构为自治主体间可信业务协同分析提供了一种框架,但现有的电子机构模型对其中存在的各种信息流还缺乏有效地分析和规范.文中以分析角色之间信息流的传递为前提,提出了用来发现电子机构中潜在非法信息流的算法,并给出了解决非法信息流的控制策略. Electronic institution provides a promising way towards modeling and developing dependable distributed collaboration system in an open and heterogeneous environment. However, there are few studies concerning information flow security in existing institutional models. Based on analyzing information flows among roles, the paper puts forward an algorithm for searching potential illegal information flows in an electronic institution. Also some control strategy of preventing illegal information flows is given.
出处 《微电子学与计算机》 CSCD 北大核心 2009年第8期196-200,共5页 Microelectronics & Computer
基金 广西自然科学基金项目(0728089)
关键词 电子机构 访问控制模型 信息流 控制策略 electronic institution access control model information flow control strategy
  • 相关文献

参考文献1

二级参考文献7

  • 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.
  • 7蔡国永,高济,董荣胜.电子机构的进程代数模型研究[J].微电子学与计算机,2007,24(10):74-77. 被引量:2

共引文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部