Stefanos Gritzalis, Diomidis Spinellis, Panagiotis Georgiadis. Security protocols over open networks and distributed systems: formal methods for their analysis, design, and verification. Computer Communications, 22(8):697-709, 1999. [doi]
@article{GritzalisSG99,
title = {Security protocols over open networks and distributed systems: formal methods for their analysis, design, and verification},
author = {Stefanos Gritzalis and Diomidis Spinellis and Panagiotis Georgiadis},
year = {1999},
doi = {10.1016/S0140-3664(99)00030-4},
url = {http://dx.doi.org/10.1016/S0140-3664(99)00030-4},
tags = {protocol, points-to analysis, analysis, source-to-source, security, design, open-source},
researchr = {https://researchr.org/publication/GritzalisSG99},
cites = {0},
citedby = {0},
journal = {Computer Communications},
volume = {22},
number = {8},
pages = {697-709},
}