10.3969/j.issn.1003-3254.2008.08.012
电子机构的安全性分析研究
电子机构是人类机构代理的副本,为提供支持、信任和合法性商业应用而具体设计.它是以网络为基础的,一种虚拟的管制环境.然而在现有的研究中,并没有实现电子机构基于角色的访问控制.本文根据电子机构的基本概念,提出了电子机构基于角色的访问控制模型,并从系统权限、身份认证以及访问控制的角度,研究电子机构的安全性.描述了重写逻辑Maude工具建模的方法和过程.最后,用重写逻辑Maude工具实现了网上购物系统的登录身份认证.
电子机构、安全、角色、访问控制
17
TH1;O22
广西自然科学基金0728089
2008-09-23(万方平台首次上网日期,不代表论文的发表时间)
共5页
46-50