Titre (en)
Checkpoint
Istex
Racine
Checkpoint
Istex
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la télématique - Checkpoint (Istex)

Index « Titre (en) » - entrée « formal »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
forma < formal < formalisation  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 33.
[20-40] [0 - 20][0 - 33]
Ident.Authors (with country if any)Title
001B32 (2005) Ricardo Corin [Pays-Bas] ; Gaetano Di Caprio [Italie] ; Sandro Etalle [Pays-Bas] ; Stefania Gnesi [Italie] ; Gabriele Lenzini [Pays-Bas, Italie] ; Corrado Moiso [Italie]A Formal Security Analysis of an OSA/Parlay Authentication Interface
001B33 (2005) Carl A. Gunter ; Michael J. May ; Stuart G. StubblebineA Formal Privacy System and Its Application to Location Based Services
001B34 (2005) Matt Duckham [Australie] ; Lars Kulik [Australie]A Formal Model of Obfuscation and Negotiation for Location Privacy
001C87 (2004) Peeter Laud [Estonie] ; Ricardo Corin [Pays-Bas]Sound Computational Interpretation of Formal Encryption with Composed Keys
001E35 (2004) Jesús Arias Fisteus [Espagne] ; Luis Sánchez Fernández [Espagne] ; Carlos Delgado Kloos [Espagne]Formal Verification of BPEL4WS Business Collaborations
001E36 (2004) Juan Quemada [Espagne]Formal Description Techniques and Software Engineering: Some Reflections after 2 Decades of Research
002248 (2003) Roberto Gorrieri [Italie] ; Fabio Martinelli [Italie] ; Marinella Petrocchi [Italie] ; Anna Vaccarelli [Italie]Formal Analysis of Some Timed Security Properties in Wireless Protocols
002614 (2002) Mustafa Jarrar [Belgique] ; Robert Meersman [Belgique]Formal Ontology Engineering in the DOGMA Approach
002615 (2002) M. Van Le [Pays-Bas] ; B. J. F. Van Beijnum [Pays-Bas] ; B. L. De Goede [Pays-Bas]Formal Modeling of Service Session Management
003043 (2000) Georg Droschl [Autriche] ; Walter Kuhn [Autriche] ; Gerald Sonneck [Autriche] ; Michael Thuswald [Autriche]A Formal Methods Case Study: Using Light-Weight VDM for the Development of a Security System Module
004002 (1996) Oliver Frick [Allemagne]Formal description and interpretation of coordination protocols for teamwork
005025 (1990) Svein J. Knapskog [Norvège]Formal specification and verification of secure communication protocols
005423 (1988) Miquel Bertran-Salvans [Espagne]On a formal definition and application of dimensional design

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Ticri/CIDE/explor/TelematiV1/Data/Istex/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Title.i -k "formal" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Title.i  \
                -Sk "formal" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Checkpoint/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Ticri/CIDE
   |area=    TelematiV1
   |flux=    Istex
   |étape=   Checkpoint
   |type=    indexItem
   |index=    Title.i
   |clé=    formal
}}
Wicri

This area was generated with Dilib version V0.6.31.
Data generation: Thu Nov 2 16:09:04 2017. Site generation: Sun Mar 10 16:42:28 2024