Formal Modelling of a Usable Identity Management Solution for Virtual Organisations
Formal Modelling of a Usable Identity Management Solution for Virtual Organisations
复制标题
虚拟组织可用身份管理解决方案的正式建模
DOI：
10.4204/eptcs.16.4
复制
发表时间：
2010
影响因子：
--
通讯作者：
Haidar A
中科院分区：
文献类型：
--
作者：
Haidar A
用于安全访问和使用生物信息学数据的网格基础设施：BRIDGES 项目的经验
DOI：
--
发表时间：
2006
期刊：
ARES
影响因子：
--
作者：
R. Sinnott;Micha Bayer;A. Stell;J. Koetsier
通讯作者：
J. Koetsier
使用 Z 提升将身份验证和授权要求融入到系统的功能模型中
DOI：
--
发表时间：
2008
期刊：
Leveraging Applications of Formal Methods
影响因子：
--
作者：
A. Haidar;A. Abdallah
通讯作者：
A. Abdallah
一种用户友好的计算网格安全方法
DOI：
--
发表时间：
2006
期刊：
--
影响因子：
--
作者：
B Beckles
通讯作者：
B Beckles