CORC

在结果中检索

CORC

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

限定条件    
已选(0)清除 条数/页：   排序方式：
Formal verification of RFID protocols using nuXmv 会议论文
Xiamen, China, September 23, 2016 - September 25, 2016
作者:  Yuan, Guanjie;  Long, Shigong
收藏  |  浏览/下载：4/0  |  提交时间：2020/01/05
Formal Verification of RFID Protocols Using nuXmv 会议论文
Xiamen, PEOPLES R CHINA, SEP 23-25, 2016
作者:  Yuan, Guanjie;  Long, Shigong
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/31
Specifying Concurrent Program based on TLA 会议论文
Beijing, PEOPLES R CHINA, NOV 29-30, 2013
作者:  Chen Rui;  Long Shigong
收藏  |  浏览/下载：1/0  |  提交时间：2020/01/05
Modelling Peterson Mutual Exclusion Algorithm in DVE language and verifying LTL properties 会议论文
Chinese Culture Univ, Taipei, TAIWAN, JUN 27-29, 2014
作者:  Long Shigong;  Yang Hanwen
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/31
The safety and liveness properties of the network protocol based on TLA 会议论文
Beijing, China, April 27, 2013 - April 29, 2013
作者:  Zhang, Junming;  Long, Shigong;  Wang, Kouwu
收藏  |  浏览/下载：3/0  |  提交时间：2020/01/02
A kind of image watermarking algorithm based on chaos sequences and fast curvelet transform 会议论文
Chengdu, China, October 20, 2012 - October 21, 2012
作者:  Luo, Hao;  Cheng, Xinyu;  Long, Shigong
收藏  |  浏览/下载：7/0  |  提交时间：2020/01/05
Model Checking Algorithm Research Based on Buchi Automata 会议论文
Zibo, PEOPLES R CHINA, NOV, 2010
作者:  Wang Lijun;  Wu Yue;  Long Shigong
收藏  |  浏览/下载：2/0  |  提交时间：2020/01/02
Partially Blind Signature Scheme Based on Threshold 会议论文
Zibo, PEOPLES R CHINA, NOV, 2010
作者:  Wu, Yue;  Wang, Lijun;  Long, Shigong
收藏  |  浏览/下载：3/0  |  提交时间：2020/01/02
Analysis of cryptographic protocols using LTL of knowledge 会议论文
Wenzhou, China, May 30, 2010 - May 31, 2010
作者:  Long, Shigong;  Wang, Lijun
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/31
Protocol Analysis Through Alternating-time Temporal Logic and Timed Petri Net Models 会议论文
Beijing, PEOPLES R CHINA, SEP 24-26, 2009
作者:  Long Shigong
收藏  |  浏览/下载：2/0  |  提交时间：2020/01/05

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