安全协议的行为时序逻辑验证与具有公平性约束的部分状态空间模型检测

61163001
2011
F0201.计算机科学的基础理论
龙士工
地区科学基金项目
教授
贵州大学
36万元
行为时序逻辑;公平性约束;模型检测;协议分析
2012-01-01到2015-12-31
  • 中英文摘要
  • 结题摘要
  • 结题报告
  • 项目成果
  • 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
重置
序号 标题 类型 作者
1 一种安全转移系统模型的构造及其运用 期刊论文 万良|
2 多智体系统时序认知规范的SPIN模型检测 期刊论文 龙士工|王扣武|
3 基于FSA的模型检测算法研究 期刊论文 龙士工|董方|WANG Kou-wu1,ZHANG Jun-ming2,LONG Shi-gong1,DONG Fang1(1.Coll|2.Science College,Guizhou University,Guiyang 550025,China)|
4 基于UML模型的敏捷开发迭代顺序的确定 期刊论文 胡文生，赵明，杨剑锋，龙士工|
5 基于行为时序逻辑TLA的安全协议形式化分析与检测 期刊论文 白圣广|龙士工|BAI Sheng-guang,LONG Shi-gong (College of Computer Science an|
6 基于偏序规约技术的网络程序JPF验证 期刊论文 杨翰文;龙士工|
7 EKE协议的描述与TLA验证 期刊论文 王扣武|龙士工|ZHANG Jun-ming1,WANG Kou-wu2,LONG Shi-gong2(1.Science College|2.College of Computer Science and Information,Guizhou Univers|
8 Modelling Peterson Mutual Exclusion Algorithm in DVE language and verifying LTL properties 期刊论文 Shigong Long, Hanwen Yang|
9 A Decomposition Strategy and Component-based Approach to Specification and Verification of Safety Systems Using TLA+ 期刊论文 Kouwu Wang, Shigong Long, Junming Zhang|
10 基于TLA+的AFDX冗余管理算法的改进 期刊论文 库恒、龙士工、罗昊|
11 A Theoretic Approach To Translation of Linear Temporal Logic into Automata 期刊论文 Duo Zhang, ShiGong Long|
12 基于身份的代理盲签名方案的分析与改进 期刊论文 薛朝奎|龙士工|XUE Chaokui1 LONG Shigong2(1.School of Mathematics and Comput|
13 Modeling the Alternating-Bit-Protocol and Verification of its Properties 期刊论文 Shigong Long, Honglin Liu|
14 A Case Study in the use of Model Checking to Solve a Mathematical Problem 会议论文
15 The Research and Model Checking of Fairness Property in Concurrent System 会议论文
16 Temporal Logic of Stochastic Actions for Verification of Probabilistic Systems 会议论文
17 无线移动终端的SAV协议的形式化建模与模型检测 期刊论文 谢光颖;龙士工|
18 GVim 的TLA+ 语言插件设计与实现 期刊论文 邢超;龙士工|
19 The safety and liveness properties of the network protocol Based on TLA 期刊论文 Junming Zhang,Shigong Long,Kouwu Wang|
20 Specifying Concurrent Program Based on TLA 会议论文
查看更多信息请先登录或注册

相关项目

趋势报告

经验分享