位置：成果数据库 > 期刊 > 期刊详情页
面向命题投影时序逻辑的安全协议模型检测
  • 期刊名称：西安交通大学学报
  • 时间：0
  • 页码：35-40
  • 语言：中文
  • 相关项目：组合Web服务的建模与验证
作者： 杨琛|段振华|
同期刊论文项目
组合Web服务的建模与验证
期刊论文 43 会议论文 21 专利 2 著作 2
同项目期刊论文
基于枢轴选择策略的多核并行skyline 算法
支持stutter-不变性的命题区间时序逻辑
一种采用预排序策略的多核并行skyline算法
利用投影时序逻辑的多内核进程调度建模与验证
Model Checking Interval Temporal Logic
Unconditional Secure Communication: a Russian Cards Protocol
框架时序逻辑语言MSVL中面向对象机制的实现
Axiomatic Semantics of Projection Temporal Logic Programs
PPTL模型检测器实现的一个关键技术
基于投影时序逻辑的Web服务模型检测
Complexity of Propositional Projection Temporal Logic with Star
基于命题投影时序逻辑的单调速率调度算法模型检测
MSVL语言的公理系统的程序验证
动态Web服务组合的选择策略
面向对象的时序逻辑语言
Operational Semantics of Framed Tempura
国际Petri网理论与应用最新研究进展
着色Petri网模型检测工具的扩展及其在Web服务组合中的应用
有穷时间投影时序逻辑的完备公理系统
投影时序逻辑在系统建模中的应用
基于事件确定有限自动机的UML2．0序列图描述与验证
BPEL流程建模中的交叠模式分析与转换
基于UML2.0的软件安全测试方法
Symbolic Algorithmic Analysis of Rectangular Hybrid Systems