Formal Protocols: Session Types At The Core Of Network Protocol Design
Formal Protocols: Session Types At The Core Of Network Protocol Design
形式协议：网络协议设计核心的会话类型
批准号：
2749015
负责人：
金额：
$0.0万
依托单位：
依托单位国家：
英国
项目类别：
Studentship
财政年份：
2022
资助国家：
英国
项目状态：
未结题
起止时间：
2022 至 --
中文摘要
翻译
该项目将探索网络协议规范的形式化方法的可用性，以会话类型理论为基础，并在互联网工程任务组中开发网络协议标准的经验。目标是开发指定标准协议规范的方法，这些规范在形式上是可验证的和正确的，但也可供Internet标准社区中缺乏形式化方法经验的人使用。
英文摘要
The project will explore the usability of formal methods for network protocol specification, building on the theory of session types, and experiences with developing network protocol standards in the Internet Engineering Task Force. The goal is to develop methods of specifying standard protocol specifications that are formally verifiable and correct, but also usable by those in the Internet standards community that lack experience in formal methods.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
海外基金
