文章基本信息

标题：PV2JAVA: Automatic Generator of Security Protocol Implementations Written in Java Language from the Applied PI Calculus Proved in the Symbolic Model
本地全文：下载
作者：Bo Meng ; Yitong Yang ; Jinli Zhang 等
期刊名称：International Journal of Security and Its Applications
印刷版ISSN：1738-9976
出版年度：2016
卷号：10
期号：11
页码：211
出版社：SERSC
摘要：n ordertoget thesecurity protocol implementationswritten in programming languagefrom formal languagesin secure way,firstly, the model of implementation generation from security protocol implementations written in formal language is presented; Apart from that, an automatic generator PV2JAVA is developed, which can transform security protocol implementations written in the Applied PI calculus proved in the symbolic model into security protocol implementations written in Java language ; Finally, the method of software testing is used to provide a strong confidence in the correctness of the automatic generator PV2JAVA through five typical security protocols.
关键词：implementation generation; ;security protocol; ;software security