【11071271】多域交互环境下RBAC安全策略形式化设计国家自然基金项目

多域交互环境下RBAC安全策略形式化设计

项目批准号： 11071271

批准年份： 2010

学科分类： A0406.离散优化

项目负责人：黄荷姣

资助类别：面上项目

负责人职称：教授

依托单位：哈尔滨工业大学

资助金额： 32万元

关键词：组合优化;安全策略设计;形式化方法;Petri网

起止时间： 2011-01-01到2013-12-31

中英文摘要
结题摘要
结题报告
项目成果
项目参与人

查看更多信息请先登录或注册

序号	标题	类型	作者
1	Secure interoperation in heterogeneous systems based on colored petri nets	期刊论文	Hejiao Huang\|Helene Kirchner\|
2	Petri-net-based modeling and verification of black hole attack in WMN	会议论文	Hejiao Huang\|Qiang Zhou\|
3	A support vector machine based MSM model for financial short-term volatility forecasting	期刊论文	Baohua Wang（博士生）\|Hejiao Huang\|Xiaolong Wang\|
4	Secure interoperation design in multi-domain environments based on colored Petri nets	期刊论文	Hejiao Huang\|Helene Kirchner\|
5	A general framework on connected sensor cover in homogenous dense sensor networks	会议论文	Jing Lv, Hongwei Du\|Hejiao Huang\|
6	Role-based access control for distributed cooperation environment	会议论文	Songyun Liu（硕士生）\|Hejiao Huang\|
7	Handling least privilege problem and role mining in RBAC	期刊论文	Hejiao Huang\|Feng Shang\|Jinling Liu\|Hongwei Du\|
8	A unified metaScheduler architecture for telecom grade cloud computing	会议论文	Jiangtao Zhang, Chonglin Gu, Xuan Wang\|Hejiao Huang\|
9	Handling inheritance violation for secure interoperation of heterogeneous systems	期刊论文	Hejiao Huang\|Helene Kirchne\|Songyun Liu\|Weili Wu\|
10	Formal specification and verification of modular security policy based on colored Petri nets	期刊论文	Hejiao Huang\|Helene Kirchner\|
11	基于Petri网的IRBAC 2000域间动态转换SMER约束违反检测	期刊论文	刘猛\|王轩\|黄荷姣\|赵海楠\|张加佳\|
12	Approximation algorithms for minimizing the number of roles and administrative assignments in RBAC	会议论文	Hejiao Huang\|Feng Shang\|Jiangtao Zhang\|
13	Component-based security policy design with colored petri nets	会议论文	Huang, Hejiao\|Kirchner, Helene\|
14	Rumor restriction in online social networks	会议论文	Songsong Li, Yuqing Zhu, Deying Li, Donghyun K\|Hejiao Huang\|
15	Policy composition based on Petri nets	会议论文	Huang, Hejiao\|Kirchner, Helene\|
16	Analysis of the Petri net model of parallel manufacturing processes with shared resources	期刊论文	Farooq Ahmad（博士生）\|Hejiao Huang\|Xiaolong Wang\|
17	Specification and conflict detection for GTRBAC in multi-domain environment	会议论文	Ning Bao\|Hejiao Huang\|Hongwei Du\|
18	Property-preserving Petri net process algebra in software engineering	专著	Hejiao Huang\|Li Jiao\|To Yat Chueng\|Wai Ming Mak\|
19	Detecting sybil attacks in mobile wireless sensor networks based on ID frequency	会议论文	Yingying Cheng\|Hejiao Huang\|Hongwei Du\|
20	Greedy algorithm for least priviledge in RBAC model	期刊论文	Jlinling Liu\|Hejiao Huang\|Hongwei Du\|
21	Security analysis of GTRBAC models using colored timed petri nets	会议论文	Guoli Zhao（硕士生）\|Hejiao Huang\|
22	Modular security policy design based on extended petri nets	期刊论文	Hejiao Huang\|Helene Kirchner\|
23	Secure Interoperation Design in Multi-domain Environments based on Colored Petri Nets	期刊论文	Hejiao Huang\|Helene Kirchner\|
24	A novel text mining approach to financial time series forecasting	期刊论文	Wang, Baohua（博士生)\|Huang, Hejiao\|Wang, Xiaolong\|
25	A general framework on connected sensor cover in homogenous dense sensor networks	会议论文	Jing Lv, Hongwei Du\|Hejiao Huang\|

查看更多信息请先登录或注册

再问科研

相关项目

趋势报告

经验分享