2012 | OriginalPaper | Buchkapitel
Introduction: Bringing Protocols to Life (Transcript of Discussion)
verfasst von : Bruce Christianson
Erschienen in: Security Protocols XX
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Our theme this year (which it’s customary to mention once on the morning of the first day) is ”Bringing Protocols to Life”.
We’ve gotten a lot better at specifying protocols in increasing degrees of formality, but it’s not clear that this is actually making it easier to implement them, nor that it’s improving the quality of the finished products to the extent that is often claimed.