搜索到 篇“ SPIN “的相关文章

相关作者

肖美华
作品数:92被引量:240H指数:8
供职机构:华东交通大学
研究主题:形式化方法 SPIN 安全协议 形式化分析 形式化
陈道喜
作品数:16被引量:21H指数:3
供职机构:苏州技师学院
研究主题:SPIN PROMELA 样题 SET协议 SET
张广泉
作品数:234被引量:712H指数:14
供职机构:苏州大学计算机科学与技术学院
研究主题:软件体系结构 UML XYZ/E XYZ/ADL 形式化方法
黄志球
作品数:411被引量:1,052H指数:15
供职机构:南京航空航天大学
研究主题:WEB服务 抽象语法树 隐私 代码 本体
李祥
作品数:145被引量:424H指数:9
供职机构:贵州大学
研究主题:公平 椭圆曲线密码体制 安全性 密码协议 SPIN