CORC

浏览/检索结果: 共27条,第1-10条 帮助

已选(0)清除 条数/页:   排序方式:
Formal modeling and security analysis method of security protocol based on CPN 期刊论文
Tongxin Xuebao/Journal on Communications, 2021, 卷号: 42, 期号: 9, 页码: 240-253
作者:  Gong, Xiang;  Feng, Tao;  Du, Jinze
收藏  |  浏览/下载:8/0  |  提交时间:2022/02/17
Performance Analysis of FC-AE-ASM Based on CPN 会议论文
Journal of Physics: Conference Series
作者:  Xu, K.;  Huang, N.;  Wang, S.K.
收藏  |  浏览/下载:3/0  |  提交时间:2019/12/30
Automatic Combination Technology of Fuzzy CPN for OWL-S Web Services in Supercomputing Cloud Platform 期刊论文
International Journal of Pattern Recognition and Artificial Intelligence, 2017, 卷号: Vol.31 No.7, 页码: 1759010
作者:  Deng, Ziyun;  Zhang, Jing;  He, Tingqin
收藏  |  浏览/下载:4/0  |  提交时间:2019/12/31
Automatic Combination Technology of Fuzzy CPN for OWL-S Web Services in Supercomputing Cloud Platform 期刊论文
International Journal of Pattern Recognition and Artificial Intelligence, 2017, 卷号: Vol.31 No.7
作者:  Deng, Z.;  Zhang, J.;  He, T.
收藏  |  浏览/下载:10/0  |  提交时间:2019/12/31
Enabling flexible location-aware business process modeling and execution 期刊论文
DECISION SUPPORT SYSTEMS, 2016, 卷号: 83
作者:  Zhu, Xinwei;  vanden Broucke, Seppe;  Zhu, Guobin;  Vanthienen, Jan;  Baesens, Bart
收藏  |  浏览/下载:10/0  |  提交时间:2019/12/05
A Reliability Calculation Method for Web Service Composition Using Fuzzy Reasoning Colored Petri Nets and Its Application on Supercomputing Cloud Platform 期刊论文
Future Internet, 2016, 卷号: Vol.8 No.4, 页码: 47
作者:  Deng, Ziyun;  Chen, Lei;  He, Tingqing;  Meng, Tao
收藏  |  浏览/下载:3/0  |  提交时间:2019/12/31
Modeling and analysis of SMER constraints violation in dynamic role translation using colored petri nets 期刊论文
Research Journal of Applied Sciences, Engineering and Technology, 2014, 卷号: 7, 期号: 5, 页码: 944-949
作者:  Liu M.;  Wang X.
收藏  |  浏览/下载:3/0  |  提交时间:2019/12/17
Modeling and analysis of SMER constraints violation in IRBAC 2000 model based on colored petri nets 期刊论文
International Journal of Security and its Applications, 2014, 卷号: 8, 期号: 1, 页码: 19-32
作者:  Liu, Meng;  Wang, Xuan
收藏  |  浏览/下载:2/0  |  提交时间:2019/12/17
Reliability Modeling of Complex Mechanical System Using CTHPN 会议论文
2014 60TH ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM (RAMS), 2014-01-01
作者:  Kan, Linjie;  Zhang, Jianguo;  Tan, Chunlin
收藏  |  浏览/下载:2/0  |  提交时间:2020/01/06
Illegal information flow control in role-based access control based on Colored Petri nets 期刊论文
Information (Japan), 2013, 卷号: 16, 期号: 6 B, 页码: 4093-4107
作者:  Liu M.;  Wang X.;  Zhao H.
收藏  |  浏览/下载:1/0  |  提交时间:2019/12/23


©版权所有 ©2017 CSpace - Powered by CSpace