Visual Model-Driven Design, Verification and Implementation of Security Protocols (bibtex)
by Bettassa Copet, Piergiuseppe, Alfredo Pironti, Davide Pozza, Riccardo Sisto and Pietro Vivoli
Reference:
Visual Model-Driven Design, Verification and Implementation of Security Protocols (Bettassa Copet, Piergiuseppe, Alfredo Pironti, Davide Pozza, Riccardo Sisto and Pietro Vivoli), In IEEE International Symposium on High Assurance Systems Engineering (HASE 12), IEEE Computer Security, 2012.
Bibtex Entry:
@inproceedings {BettassaPPSV12,
	title = {Visual Model-Driven Design, Verification and Implementation of Security Protocols},
	booktitle = {IEEE International Symposium on High Assurance Systems Engineering (HASE 12)},
	year = {2012},
	note = {Short paper},
	publisher = {IEEE Computer Security},
	organization = {IEEE Computer Security},
	author = {Bettassa Copet, Piergiuseppe and Alfredo Pironti and Davide Pozza and Riccardo Sisto and Pietro Vivoli},
  x-proceedings = {yes},
  x-international-audience = {yes},
}
Powered by bibtexbrowser