Formally-Based Semi-Automatic Implementation of an Open Security Protocol (bibtex)
by Alfredo Pironti, Davide Pozza, Riccardo Sisto
Reference:
Formally-Based Semi-Automatic Implementation of an Open Security Protocol (Alfredo Pironti, Davide Pozza, Riccardo Sisto), In Journal of Systems and Software, Elsevier, volume 85, 2012.
Bibtex Entry:
@article {PirontiPS11,
	title = {Formally-Based Semi-Automatic Implementation of an Open Security Protocol},
	journal = {Journal of Systems and Software},
	volume = {85},
	year = {2012},
	pages = {835{\textendash}849},
	publisher = {Elsevier},
	author = {Alfredo Pironti and Davide Pozza and Riccardo Sisto},
  x-editorial-board = {yes},
  x-international-audience = {yes},

}
Powered by bibtexbrowser