Towards an Independent Semantics and Verification Technology for the HLPSL Specification Language

Massacci, Fabio; Pistore, Marco; Gotsman, A.

doi:10.1016/j.entcs.2005.06.004

Towards an Independent Semantics and Verification Technology for the HLPSL Specification Language

Massacci, Fabio;Pistore, Marco;A. Gotsman

2005-01-01

Scheda breve

Scheda completa

Scheda completa (DC)

	Anno di pubblicazione (Date of publication)
	
				2005
			
	Titolo del volume (Proceedings title)
	
				Proceedings of the Second Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA 2005)
			
	Luogo di edizione (Place of publication)
	
				Amsterdam
			
	Casa editrice (Publisher)
	
				Elsevier
			
	Codice Scopus (Scopus Identifier)
	
				2-s2.0-23144459426
			
	Tutti gli autori
	
						Massacci, Fabio; Pistore, Marco; A., Gotsman
					
	Appare nelle tipologie:
	
				04.1 Saggio in atti di convegno (Paper in Proceedings)