位置：成果数据库 > 会议 > 会议详情页
Security analysis of GTRBAC models using colored timed petri nets
  • 所属机构名称：哈尔滨工业大学
  • 会议名称：Proceedings of the 2010 International Conference on Information Security and Artificial Intelligence
  • 时间：2010.12.12
  • 成果类型：会议
  • 相关项目：多域交互环境下RBAC安全策略形式化设计
作者： Guoli Zhao（硕士生）|Hejiao Huang|
同会议论文项目
多域交互环境下RBAC安全策略形式化设计
期刊论文 15 会议论文 11 著作 1
同项目会议论文
Component-based security policy design with colored petri nets
Petri-net-based modeling and verification of black hole attack in WMN
Policy composition based on Petri nets
Approximation algorithms for minimizing the number of roles and administrative assignments in RBAC
Detecting sybil attacks in mobile wireless sensor networks based on ID frequency
Rumor restriction in online social networks
A general framework on connected sensor cover in homogenous dense sensor networks
Specification and conflict detection for GTRBAC in multi-domain environment
A unified metaScheduler architecture for telecom grade cloud computing
Role-based access control for distributed cooperation environment