Making sense of specifications: The formalization of SET (Extended abstract)

G. Bella, F. Massacci, L.C. Paulson, P. Tramontano

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationSecurity Protocols - 8th International Workshop, Revised Papers
EditorsB. Crispo, M. Roe
PublisherSpringer Verlag
Pages74-81
DOIs
Publication statusPublished - 2001
Externally publishedYes
Event8th Cambridge International Workshop on Security Protocols, 2000 - Cambridge, United Kingdom
Duration: 3 Apr 20005 Apr 2000

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference8th Cambridge International Workshop on Security Protocols, 2000
Country/TerritoryUnited Kingdom
CityCambridge
Period3/04/005/04/00

Cite this