位置：成果数据库 > 会议 > 会议详情页
Petri-net-based modeling and verification of black hole attack in WMN
  • 所属机构名称：哈尔滨工业大学
  • 会议名称：36rd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2012
  • 时间：2012.7.7
  • 成果类型：会议
  • 相关项目：多域交互环境下RBAC安全策略形式化设计
作者： Hejiao Huang|Qiang Zhou|
同会议论文项目
多域交互环境下RBAC安全策略形式化设计
期刊论文 15 会议论文 11 著作 1
同项目会议论文
Security analysis of GTRBAC models using colored timed petri nets
Component-based security policy design with colored petri nets
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