France Télécom < Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies < Fraunhofer Institut für Integrierte Schaltungen IIS

Facettes : Author.f

List of bibliographic references

Number of relevant bibliographic references: 505.
[0-20] [0 - 20][0 - 50][20-40]

Ident.	Authors (with country if any)	Title
000066 (2003)	Ingo Dahn ; Laurent Vigneron	4th International Workshop on First-Order Theorem Proving- FTP'2003
000072 (2008-09)	Frédéric Dadeau ; Régis Tissot ; Marie-Laure Potet	A B Formal Framework for Security Developments in the Domain of Smart Card Applications
000102 (2015-09-26)	Nadir Guetmi ; Abdessamad Imine	A Cloud-Based Reusable Design for Mobile Data Sharing
000122 (2011-10-17)	Véronique Cortier ; Bogdan Warinschi	A Composable Computational Soundness Notion
000135 (2010-10-08)	Eric Monfroy ; Olivier Perrin ; Christophe Ringeissen ; Laurent Vigneron	A Constraint-based Approach to Web Services Provisioning
000147 (2007-09)	Véronique Cortier ; Ralf Kuesters ; Bogdan Warinschi	A Cryptographic Model for Branching Time Security Properties -- the Case of Contract Signing Protocols.
000148 (2007-07)	Véronique Cortier ; Ralf Kuesters ; Bogdan Warinschi	A Cryptographic Model for Branching Time Security Properties -- the Case of Contract Signing Protocols.
000153 (2010)	Daniele Zucchelli ; Enrica Nicolini	A Decidability Result for the Model Checking of Infinite-State Systems
000154 (2004)	Michaël Rusinowitch	A Decidable Analysis of Security Protocols
000156 (2004)	Calogero G. Zarba ; Domenico Cantone ; Jacob T. Schwartz	A Decision Procedure for a Fragment of Set Theory Involving Monotone, Additive, and Multiplicative Functions
000191 (2009-08-28)	Abdessamad Imine ; Asma Cherif ; Michael Rusinowitch	A Flexible Access Control Model for Distributed Collaborative Editors
000198 (2007-07)	Véronique Cortier ; Stéphanie Delaune ; Graham Steel	A Formal Theory of Key Conjuring.
000199 (2007)	Véronique Cortier ; Stéphanie Delaune ; Graham Steel	A Formal Theory of Key Conjuring
000220 (2012-01-31)	Houari Mahfoud ; Abdessamad Imine	A General Approach for Securely Querying and Updating XML Data
000221 (2012-05-20)	Houari Mahfoud ; Abdessamad Imine	A General Approach for Securely Updating XML Data
000236 (2014)	Véronique Cortier ; Graham Steel	A Generic Security API for Symmetric Key Management on Cryptographic Devices
000237 (2009-09-21)	Véronique Cortier ; Graham Steel	A Generic Security API for Symmetric Key Management on Cryptographic Devices
000240 (2014-04)	Paula Chocron ; Pascal Fontaine ; Christophe Ringeissen	A Gentle Non-Disjoint Combination of Satisfiability Procedures (Extended Version)
000241 (2014-07-19)	Paula Chocron ; Pascal Fontaine ; Christophe Ringeissen	A Gentle Non-Disjoint Combination of Satisfiability Procedures
000252 (2004)	Yannick Chevalier ; Luca Compagna ; Jorge Cuellar ; Paul Hankes Drielsma ; Jacopo Mantovani ; Sebastian Moedersheim ; Laurent Vigneron	A High Level Protocol Specification Language for Industrial Security-Sensitive Protocols
000253 (2004)	Yannick Chevalier ; Luca Compagna ; Jorge Cuellar ; Paul Hankes Drielsma ; Jacopo Mantovani ; Sebastian Moedersheim ; Laurent Vigneron	A High Level Protocol Specification Language for Industrial Security-Sensitive Protocols

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Corpus

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/HalTutelle.i -k "Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/HalTutelle.i  \
                -Sk "Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Corpus/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Corpus
   |type=    indexItem
   |index=    HalTutelle.i
   |clé=    Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies
}}

---

This area was generated with Dilib version V0.6.33. Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022