Uppaal是一个集成工具环境，用于对实时系统建模、验证和验证，该系统被建模为定时自动机网络，并扩展了数据类型（有界整数、数组等）。
该工具由瑞典乌普萨拉大学信息技术系和丹麦奥尔堡大学计算机科学系合作开发。
2022-07-04 21:00:56
108.18MB
1
基于概念层次网络（HNC）理论，对多动词出现的一种情况——动词连见，进行了分类研究，给出了相应的处理规则。同时，还提出了一种基于BNF范式和产生式规则的形式化规则描述语言，完成了对规则的形式化描述和软件实现。在此基础上，对真实语料中出现动词连见的语句进行了计算机自动处理，给出了处理结果。
2022-06-21 23:11:50
100KB
1
近期国内外很多安全研究人员使用Tamarin对一些经典安全协议进行分析，并发现了经典协议的漏洞，其中包括TLS核5G通信协议，以及最近火爆流行的ECU安全通信协议SecOC。
本文档为Tamarin用户手册，是学习Tamarin的最佳文档，内容包括：
工具介绍
安装方式介绍
入门案例讲解
消息加解密的表示方式
案例研究
相关工具链
等等。
2022-05-16 10:42:35
3.57MB
1
安全技术-网络信息-面向服务的新一代网络体系结构及其形式化建模的研究.pdf
2022-05-06 09:00:30
10.32MB