Safe Abstractions of Data Encodings in Formal Security Protocol Models (bibtex)
by Alfredo Pironti, Riccardo Sisto
Reference:
Safe Abstractions of Data Encodings in Formal Security Protocol Models (Alfredo Pironti, Riccardo Sisto), In Formal Aspects of Computing, 2012.
Bibtex Entry:
@article {PirontiS12,
	title = {Safe Abstractions of Data Encodings in Formal Security Protocol Models},
	journal = {Formal Aspects of Computing},
	year = {2012},
	pages = {1-43},
	author = {Alfredo Pironti and Riccardo Sisto},
  x-editorial-board = {yes},
  x-international-audience = {yes},

}
Powered by bibtexbrowser