电子机构的安全性分析研究  

Security Analysis and Research for Electronic Institutions

作　　者：李红霞[1] 蔡国永[1] 

机构地区：[1]桂林电子科技大学计算机与控制学院,广西桂林541004

出　　处：《计算机系统应用》2008年第8期46-50,共5页Computer Systems & Applications

基　　金：广西自然科学基金(NO.0728089)

摘　　要：电子机构是人类机构代理的副本,为提供支持、信任和合法性商业应用而具体设计。它是以网络为基础的,一种虚拟的管制环境,然而在现有的研究中,并没有实现电子机构基于角色的访问控制。本文根据电子机构的基本概念,提出了电子机构基于角色的访问控制模型,并从系统权限、身份认证以及访问控制的角度,研究电子机构的安全性。描述了重写逻辑Maude工具建模的方法和过程。最后,用重写逻辑Maude工具实现了网上购物系统的登录身份认证。

关 键 词：电子机构 安全 角色 访问控制 

分 类 号：TP393.08[自动化与计算机技术—计算机应用技术]