About: Using Animation to Improve Formal Specifications of Security Protocols   Goto Sponge  NotDistinct  Permalink

An Entity of Type : owl:Thing, within Data Space : data.idref.fr associated with source document(s)

AttributesValues
Author
Bibliographic Citation
  • Boichut Yohan, Genet Thomas, Heen Olivier, Glouche Yann. Using Animation to Improve Formal Specifications of Security Protocols. The 2nd National Conference on Security in Network Architectures and Information Systems, 2007, France
Title
  • Using Animation to Improve Formal Specifications of Security Protocols
dc:date
  • 2007
Faceted Search & Find service v1.13.91 as of Aug 16 2018


Alternative Linked Data Documents: ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data]
OpenLink Virtuoso version 07.20.3229 as of May 14 2019, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (70 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software