About: https://hal.archives-ouvertes.fr/inria-00594387#id

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

About: https://hal.archives-ouvertes.fr/inria-00594387#id Goto Sponge Distinct Permalink

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

Attributes	Values
Author	Fontan, Benjamin (1979-....) Fontan, Benjamin (1979-....) Fontan, Benjamin (1979-....) Fontan, Benjamin (1979-....) Fontan, Benjamin (1979-....) Fontan, Benjamin (1979-....) Chridi, Najah (1980-....) Chridi, Najah (1980-....) Chridi, Najah (1980-....) Chridi, Najah (1980-....) Chridi, Najah (1980-....) Chridi, Najah (1980-....) Chrisment, Isabelle (19..-....) Chrisment, Isabelle (19..-....) Chrisment, Isabelle (19..-....) Chrisment, Isabelle (19..-....) Chrisment, Isabelle (19..-....) Chrisment, Isabelle (19..-....) Saqui-Sannes, Pierre de (19..-....) Saqui-Sannes, Pierre de (19..-....) Saqui-Sannes, Pierre de (19..-....) Saqui-Sannes, Pierre de (19..-....) Saqui-Sannes, Pierre de (19..-....) Saqui-Sannes, Pierre de (19..-....) Vigneron, Laurent (19..-.... ; informaticien) Vigneron, Laurent (19..-.... ; informaticien) Vigneron, Laurent (19..-.... ; informaticien) Vigneron, Laurent (19..-.... ; informaticien) Vigneron, Laurent (19..-.... ; informaticien) Vigneron, Laurent (19..-.... ; informaticien) Mota Gonzalez, Sara del Socorro (1970-....) Mota Gonzalez, Sara del Socorro (1970-....) Mota Gonzalez, Sara del Socorro (1970-....) Mota Gonzalez, Sara del Socorro (1970-....) Mota Gonzalez, Sara del Socorro (1970-....) Mota Gonzalez, Sara del Socorro (1970-....) Villemur, Thierry Villemur, Thierry Villemur, Thierry Villemur, Thierry Villemur, Thierry Villemur, Thierry
Bibliographic Citation	Saqui-Sannes Pierre, Villemur Thierry, Fontan Benjamin, Mota Gonzalez Sara Del Socorro, Bouassida Mohamed Salah, Chridi Najah, Chrisment Isabelle, Vigneron Laurent. Formal Verification of Secure Group Communication Protocols Modelled in UML. Innovations in Systems and Software Engineering, Springer Verlag, 2010, Special Issue ICFEM'09, 6 (1-2), pp.125-133. ⟨10.1007/s11334-010-0122-3⟩ Saqui-Sannes Pierre, Villemur Thierry, Fontan Benjamin, Mota Gonzalez Sara Del Socorro, Bouassida Mohamed Salah, Chridi Najah, Chrisment Isabelle, Vigneron Laurent. Formal Verification of Secure Group Communication Protocols Modelled in UML. Innovations in Systems and Software Engineering, Springer Verlag, 2010, Special Issue ICFEM'09, 6 (1-2), pp.125-133. ⟨10.1007/s11334-010-0122-3⟩ Saqui-Sannes Pierre, Villemur Thierry, Fontan Benjamin, Mota Gonzalez Sara Del Socorro, Bouassida Mohamed Salah, Chridi Najah, Chrisment Isabelle, Vigneron Laurent. Formal Verification of Secure Group Communication Protocols Modelled in UML. Innovations in Systems and Software Engineering, Springer Verlag, 2010, Special Issue ICFEM'09, 6 (1-2), pp.125-133. ⟨10.1007/s11334-010-0122-3⟩ Saqui-Sannes Pierre, Villemur Thierry, Fontan Benjamin, Mota Gonzalez Sara Del Socorro, Bouassida Mohamed Salah, Chridi Najah, Chrisment Isabelle, Vigneron Laurent. Formal Verification of Secure Group Communication Protocols Modelled in UML. Innovations in Systems and Software Engineering, Springer Verlag, 2010, Special Issue ICFEM'09, 6 (1-2), pp.125-133. ⟨10.1007/s11334-010-0122-3⟩ Saqui-Sannes Pierre, Villemur Thierry, Fontan Benjamin, Mota Gonzalez Sara Del Socorro, Bouassida Mohamed Salah, Chridi Najah, Chrisment Isabelle, Vigneron Laurent. Formal Verification of Secure Group Communication Protocols Modelled in UML. Innovations in Systems and Software Engineering, Springer Verlag, 2010, Special Issue ICFEM'09, 6 (1-2), pp.125-133. ⟨10.1007/s11334-010-0122-3⟩ Saqui-Sannes Pierre, Villemur Thierry, Fontan Benjamin, Mota Gonzalez Sara Del Socorro, Bouassida Mohamed Salah, Chridi Najah, Chrisment Isabelle, Vigneron Laurent. Formal Verification of Secure Group Communication Protocols Modelled in UML. Innovations in Systems and Software Engineering, Springer Verlag, 2010, Special Issue ICFEM'09, 6 (1-2), pp.125-133. ⟨10.1007/s11334-010-0122-3⟩
dc:date	2010 2010 2010 2010 2010 2010

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