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.
[0-20] [0 - 20][0 - 33][20-32][20-40]
Ident.Authors (with country if any)Title
000257 (2011) Leanid Krautsevich [Italie] ; Fabio Martinelli [Italie] ; Artsiom Yautsiukhin [Italie]Formal Analysis of Security Metrics and Risk
000268 (2011) Marten Sijtema [Pays-Bas] ; Mariëlle I. A. Stoelinga [Pays-Bas] ; Axel Belinfante [Pays-Bas] ; Lawrence Marinelli [États-Unis]Experiences with Formal Engineering: Model-Based Specification, Implementation and Testing of a Software Bus at Neopost.
000611 (2010) Almudena Alcaide [Espagne] ; Esther Palomar [Espagne] ; Ana I. González Ablas [Espagne] ; Arturo Ribagorda [Espagne]Formal Proof of Cooperativeness in a Multi–Party P2P Content Authentication Protocol
000612 (2010) Andrea Falcone [Italie] ; Riccardo Focardi [Italie]Formal Analysis of Key Integrity in PKCS#11
000721 (2010) Stefano Bistarelli [Italie] ; Fabio Martinelli [Italie] ; Francesco Santini [Italie]A Formal Framework for Trust Policy Negotiation in Autonomic Systems: Abduction with Soft Constraints
000776 (2009) Gilles Barthe [Espagne] ; Benjamin Grégoire [France] ; Sylvain Heraud [France] ; Santiago Zanella Béguelin [France]Formal Certification of ElGamal Encryption
000828 (2009) Marius C. Bujorianu [Royaume-Uni] ; Manuela L. Bujorianu [Royaume-Uni] ; Howard Barringer [Royaume-Uni]A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems
000866 (2009) Emiliano Lorini [France] ; Rino Falcone [Italie] ; Cristiano Castelfranchi [Italie]Trust within the Context of Organizations: A Formal Approach
000C02 (2009) Daniel Le Métayer [France]A Formal Privacy Management Framework
000F11 (2008) Leonard Lensink [Pays-Bas] ; Sjaak Smetsers [Pays-Bas] ; Marko Van Eekelen [Pays-Bas]Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization
001249 (2007) Khairun Fachry [Pays-Bas] ; Ingrid Mulder [Pays-Bas] ; Henk Eertink [Pays-Bas] ; Hans Zandbelt [Pays-Bas]I-Candies: Supporting Semi-formal Communication in a Coffee Corner
001420 (2006) Paul E. Sevinç [Suisse] ; David Basin [Suisse] ; Ernst-Rüdiger Olderog [Allemagne]Controlling Access to Documents: A Formal Access Control Model
001547 (2006) Simon N. Foley [Irlande (pays)] ; William Fitzgerald [Irlande (pays)] ; Stefano Bistarelli [Italie] ; Barry O Ullivan [Irlande (pays)] ; Mícheál Foghlú [Irlande (pays)]Principles of Secure Network Configuration: Towards a Formal Basis for Self-configuration
001600 (2006) Martín L Pez-Nores [Espagne] ; Jorge García-Duque [Espagne] ; José J. Pazos-Arias [Espagne]Managing Ad-Hoc Networks Through the Formal Specification of Service Requirements
001639 (2006) Fabio Martinelli [Italie] ; Marinella Petrocchi [Italie] ; Anna Vaccarelli [Italie]Formal analysis of some secure procedures for certificate delivery
001652 (2006) Raphaël Troncy [Pays-Bas] ; Werner Bailer [Autriche] ; Michael Hausenblas [Autriche] ; Philip Hofmair [Autriche] ; Rudolf Schlatte [Autriche]Enabling Multimedia Metadata Interoperability by Defining Formal Semantics of MPEG-7 Profiles
001877 (2005) Martín L Pez-Nores [Espagne] ; José J. Pazos-Arias [Espagne] ; Jorge García-Duque [Espagne] ; Belén Barragáns-Martínez [Espagne] ; Rebeca P. Díaz-Redondo [Espagne] ; Ana Fernández-Vilas [Espagne] ; Alberto Gil-Solla [Espagne] ; Manuel Ramos-Cabrer [Espagne]Tracing Integration Analysis in Component-Based Formal Specifications
001879 (2005) Fabio Martinelli [Italie]Towards an Integrated Formal Analysis for Security and Trust
001929 (2005) Asimina Vasalou [Royaume-Uni] ; Jeremy Pitt [Royaume-Uni]Reinventing Forgiveness: A Formal Investigation of Moral Facilitation
001A47 (2005) Ji-Hyun Lee [Corée du Sud] ; Hye-Min Noh [Corée du Sud] ; Cheol-Jung Yoo [Corée du Sud] ; Ok-Bae Chang [Corée du Sud]Component Contract-Based Formal Specification Technique
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

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