HASKELL

作品数：30被引量：30H指数：3
导出分析报告
相关领域：自动化与计算机技术天文地球更多>>
相关作者：张迎周赵荣彩庞建民陈光辉董陇军更多>>
相关机构：南京邮电大学吉林大学解放军信息工程大学中山大学更多>>
相关期刊：《计算机教育》《计算机与数字工程》《计算机与现代化》《信息工程大学学报》更多>>
相关基金：国家自然科学基金江苏省高校自然科学研究项目中央高校基本科研业务费专项资金江苏省“青蓝工程”优秀青年骨干教师培养对象更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机与数字工程x
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于模型检测的NS公钥认证协议分析
《计算机与数字工程》2009年第2期90-93,101,共5页刘玉坤 张浩军 
模型检测的研究大致包括以下内容:模态逻辑、模型检测算法及其空间效率的改进。以NS认证协议的模型形式化与分析为例,对模型检测的思想进行说明,并利用惰性语言Haskell实现了上述模型形式化与分析,并成功找到了中间人攻击序列。
关键词：安全协议 形式化分析 模型检测 HASKELL 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部