About: Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions Goto Sponge NotDistinct Permalink

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

Attributes	Values
Author	Turuani, Mathieu (1977-....) Rusinowitch, Michaël (1956-....) Vigneron, Laurent (19..-.... ; informaticien) Chevalier, Yannick (1974-.... ; enseignant-chercheur en informatique) Küsters, Ralf (1972-....)
Bibliographic Citation	Chevalier Yannick, Küsters Ralf, Rusinowitch Michaël, Turuani Mathieu, Vigneron Laurent. Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions. Computer Science Logic, 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Güdel Colloquium, KGC 2003, Aug 2003, Vienna, Austria, pp.128-141
Title	Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions
dc:date	2003

Faceted Search & Find service v1.13.91 as of Aug 16 2018

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

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-2024 OpenLink Software