Formal verification of security protocol implementations: a survey (bibtex)
by Matteo Avalle, Alfredo Pironti, Riccardo Sisto
Reference:
Formal verification of security protocol implementations: a survey (Matteo Avalle, Alfredo Pironti, Riccardo Sisto), In Formal Aspects of Computing, 2012.
Bibtex Entry:
@article {41,
	title = {Formal verification of security protocol implementations: a survey},
	journal = {Formal Aspects of Computing},
	year = {2012},
	pages = {1-25},
	author = {Matteo Avalle and Alfredo Pironti and Riccardo Sisto},
  x-editorial-board = {yes},
  x-international-audience = {yes},

}
Powered by bibtexbrowser