@inproceedings{713fb801cc054a9dacbe0c25f9c4ae51,
title = "Making sense of specifications: The formalization of SET (Extended abstract)",
author = "G. Bella and F. Massacci and L.C. Paulson and P. Tramontano",
year = "2001",
doi = "10.1007/3-540-44810-1_11",
language = "English",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "74--81",
editor = "B. Crispo and M. Roe",
booktitle = "Security Protocols - 8th International Workshop, Revised Papers",
note = "8th Cambridge International Workshop on Security Protocols, 2000 ; Conference date: 03-04-2000 Through 05-04-2000",
}