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 至 --
中文摘要
翻译
该项目将探索网络协议规范的正式方法的可用性，建立在会话类型理论的基础上，并在互联网工程任务组中开发网络协议标准的经验。其目标是开发指定标准协议规范的方法，这些方法在形式上是可验证和正确的，但也可供缺乏正式方法经验的互联网标准社区使用。
英文摘要
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)
会议论文
海外基金
