AGVI swMATH ID: 2287 Software Authors: Song, Dawn; Perrig, Adrian; Phan, Doantam Description: AGVI – automatic generation, verification, and implementation of security protocols. As new Internet applications emerge, new security protocols and systems need to be designed and implemented. Unfortunately the current protocol design and implementation process is often ad-hoc and error prone. To solve this problem, we have designed and implemented a toolkit AGVI, Automatic Generation, Verification, and Implementation of Security Protocols. With AGVI, the protocol designer inputs the system specification (such as cryptographic key setup) and security requirements. AGVI will then automatically find the near-optimal protocols for the specific application, proves the correctness of the protocols and implement the protocols in Java. Our experiments have successfully generated new and even simpler protocols than the ones documented in the literature Homepage: http://www.ece.cmu.edu/~adrian/projects/cav01/cav01.pdf Related Software: MJ; JavaSPI; Spi2Java; Bouncy Castle; UMLsec; ZKPDL; ASPIER; JML; Coq; ProVerif; TulaFale Cited in: 3 Publications Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year AGVI – automatic generation, verification, and implementation of security protocols. Zbl 0991.68648Song, Dawn; Perrig, Adrian; Phan, Doantam 2001 all top 5 Cited by 11 Authors 1 Avalle, Matteo 1 Bettassa Copet, Piergiuseppe 1 Bhargavan, Karthikeyan 1 Fournet, CĂ©dric 1 Gordon, Andrew D. 1 Perrig, Adrian 1 Phan, Doantam 1 Pironti, Alfredo 1 Sisto, Riccardo 1 Song, Dawn 1 Tse, Stephen Cited in 1 Serial 1 Formal Aspects of Computing Cited in 1 Field 3 Computer science (68-XX) Citations by Year