Open AccessPV2JAVA: Automatic Generator of Security Protocol Implementations Written in Java Language from the Applied PI Calculus Proved in the Symbolic Model
Author(s) -
Bo Meng,
Yang Yugang,
Jinli Zhang,
Jintian Lu,
Dejun Wang
Publication year - 2016
Publication title -
international journal of security and its applications
Language(s) - English
Resource type - Journals
eISSN - 2092-1497
pISSN - 1738-9976
DOI - 10.14257/ijsia.2016.10.11.19
Subject(s) - pi calculus , computer science , programming language , java , generator (circuit theory) , implementation , protocol (science) , algebra over a field , calculus (dental) , theoretical computer science , mathematics , physics , pure mathematics , medicine , power (physics) , alternative medicine , pathology , quantum mechanics , dentistry