Visual Model-Driven Design, Verification and Implementation of Security Protocols (bibtex)
by Piergiuseppe Bettassa Copet, Alfredo Pironti, Davide Pozza, Riccardo Sisto, Pietro Vivoli
Reference:
Visual Model-Driven Design, Verification and Implementation of Security Protocols (Piergiuseppe Bettassa Copet, Alfredo Pironti, Davide Pozza, Riccardo Sisto, Pietro Vivoli), In IEEE International Symposium on High Assurance Systems Engineering (HASE 12), IEEE Computer Security, 2012. (Short paper)
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