AffOrg.i
Analysis
Allemagne
Racine
Analysis
Allemagne
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Analysis (Allemagne)

Index « AffOrg.i » - entrée « Université de Franche-Comté »
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.
Université de Cologne < Université de Franche-Comté < Université de Genève  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 19.
Ident.Authors (with country if any)Title
000005 (2016-02) Özgür Dagdelen [Allemagne] ; David Galindo [France] ; Pascal Véron [France] ; Sidi Mohamed El Yousfi Alaoui [Allemagne] ; Pierre-Louis Cayrel [Allemagne]Extended security arguments for signature schemes
000014 (2015-09-21) Serdar Erbatur [Allemagne] ; Deepak Kapur [États-Unis] ; Andrew Marshall [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France]Unification and Matching in Hierarchical Combinations of Syntactic Theories
000031 (2015-04-11) Véronique Cortier [France] ; Fabienne Eigner [Allemagne] ; Steve Kremer [France] ; Matteo Maffei [Allemagne] ; Cyrille Wiedling [Belgique]Type-Based Verification of Electronic Voting Protocols
000061 (2014-03-05) Steve Kremer [France] ; Robert Künnemann [Allemagne]Automated analysis of security protocols with global state
000069 (2013-11-04) Florian Boehl [Allemagne] ; Véronique Cortier [France] ; Bogdan Warinschi [Royaume-Uni]Deduction Soundness: Prove One, Get Five for Free
000112 (2012-03-24) Alessandro Armando [France] ; Wihem Arsac [France] ; Tigran Avanesov [France] ; Michele Barletta [Italie] ; Alberto Calvi [Italie] ; Alessandro Cappai [France] ; Roberto Carbone [France] ; Yannick Chevalier [France] ; Luca Compagna [France] ; Jorge Cuellar [Allemagne] ; Gabriel Erzse [Roumanie] ; Simone Frau [Suisse] ; Marius Minea [Roumanie] ; Sebastian Modersheim [France] ; David Von Oheimb [Allemagne] ; Giancarlo Pellegrino [France] ; Serena Elisa Ponta [France] ; Marco Rocchetto [Italie] ; Michaël Rusinowitch [France] ; Mohammad Torabi Dashti [Suisse] ; Mathieu Turuani [France] ; Luca Vigano [Italie]The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures
000114 (2012-01-12) Elizabeta Fourneret [France] ; Fabrice Bouquet [France] ; Martin Ochoa [Allemagne] ; Jan Jürjens [Allemagne] ; Sven Wenzel [Allemagne]Vérification et Test pour des systèmes évolutifs
000130 (2011-10-26) Fabio Massacci [Italie] ; Fabrice Bouquet [France] ; Elizabeta Fourneret [France] ; Jan Jurjens [Allemagne] ; Mass Lund [Norvège] ; Sébastien Madelénat [France] ; Jantobias Muehlberg [Belgique] ; Federica Paci [Italie] ; Stéphane Paul [France] ; Frank Piessens [Belgique] ; Bjornar Solhaug [Norvège] ; Sven Wenzel [Allemagne]Orchestrating Security and System Engineering for Evolving Systems
000132 (2011-08-22) Elizabeta Fourneret [France] ; Martin Ochoa [Allemagne] ; Fabrice Bouquet [France] ; Julien Botella [France] ; Jan Jürjens [Allemagne] ; Parvaneh Yousefi [Allemagne]Model-Based Security Verification and Testing for Smart-cards
000168 (2010-02) Duc-Khanh Tran [Allemagne] ; Christophe Ringeissen [France] ; Silvio Ranise [Italie] ; Hélène Kirchner [France]Combination of Convex Theories: Modularity, Deduction Completeness, and Explanation
000241 (2008-05) Mathieu Loiseau [France] ; Myriam Abouzaïd [France] ; Laurence Buson [France] ; Bannour Rachid [France] ; Florinela Comanescu [France] ; Darline Cothière-Robert [France] ; Tatiana El-Khoury [France] ; Antoine Gautier [France] ; Rose-Marie Gerbe [France] ; Mathilde Gonçalves [Portugal] ; Florencia Miranda [Portugal] ; Vannina Goossens [France] ; Cécile Lux [France] ; Iuliana-Anca Mateiu [Roumanie] ; Séverine Morange [France] ; Stéphane Mortreux [France] ; Hiroko Noda [France] ; Sabrina Rasom [Italie] ; Aude Rebotier [France] ; Darine Saïdi [France] ; Carmen Scarlat [France] ; Jennifer Sullivan [Irlande (pays)] ; Christian Surcouf [Suisse] ; Inka Wissner [Allemagne] ; Caroline Cance [France] ; Émilie Cousin [France] ; Hélène Delage [France] ; Anaïg Delanoë [France] ; Gaëlle Delepaut [France] ; Céline Dugua [France] ; Juliette Elie-Deschamps [France] ; Angélique Laurent [France] ; Pascale Leclercq [France] ; Silvia Nieva [Espagne] ; Katérina Palasis-Jourdan [France] ; Anita Thomas [Suède] ; Luc Biichlé [France] ; Anna Ghimenton [France] ; Jeanne Gonac'H [France] ; Aurélie Nardy [France] ; Nathaël Martin [France] ; Pascale Paulin [France] ; Lerato Caroline Pooe [France] ; Séverine Rapanoël [France] ; Sofia Stratilaki [France] ; Maria Zerva [France] ; Dominique Anctil [Canada] ; Évelyne Berger [Suisse] ; Jocelyne Cussac Pomel [France] ; Geneviève Garcia Bourgade [France] ; Juliette Delahaie [France] ; Ali Djaroun [France] ; Bernadette Kervyn [Belgique] ; Sophie Anquetil [France] ; Magdalena Augustyn [France] ; Sabrina Ben Hamou [France] ; Gwendoline Bloquet [France] ; Fanny Rinck [France] ; Cécile Frérot [France] ; Amélie Josselin-Leray [France] ; Anne-Laure Jousse [Canada] ; Bárbara Razola Mayor [France] ; Fabienne Venant [France] ; Antoine Widlöcher [France] ; Frédérik Bilhaut [France]Autour des langues et du langage
000301 (2006-08-11) Max Tuengerthal [Allemagne] ; Ralf Küsters [Allemagne] ; Mathieu Turuani [France]Implementing a Unification Algorithm for Protocol Analysis with XOR
000330 (2005-07) Alessandro Armando [Italie] ; David Basin [Suisse] ; Yohan Boichut [France] ; Yannick Chevalier [France] ; Luca Compagna [Italie] ; Jorge Cuellar [Allemagne] ; Paul Hankes Drielsma [Suisse] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] ; Jacopo Mantovani [Italie] ; Sebastian Mödersheim [Suisse] ; David Von Oheimb [Allemagne] ; Michaël Rusinowitch [France] ; Judson Santos Santiago [France] ; Luca Vigano [Suisse] ; Mathieu Turuani [France] ; Laurent Vigneron [France]The AVISPA Tool for the automated validation of internet security protocols and applications
000340 (2005) A. Armando [Italie] ; D. Basin [Suisse] ; Y. Boichut [France] ; Y. Chevalier [France] ; L. Compagna [Italie] ; J. Cuellar [Allemagne] ; P. Hankes Drielsma [Suisse] ; P. C. Heám [France] ; O. Kouchnarenko [France] ; J. Mantovani [Italie] ; S. Mödersheim [Suisse] ; D. Von Oheimb [Allemagne] ; M. Rusinowitch [France] ; J. Santiago [France] ; M. Turuani [France] ; L. Vigan [Suisse] ; L. Vigneron [France]The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications
000383 (2004) Jacek Szymanski [France] ; Mario Thron [Allemagne] ; Jean-Pierre Thomesse [France] ; Xavier Rebeuf [France] ; Christophe Lang [France]Web Service Driven Integration Platform for Industrial Maintenance Oriented Applications
000387 (2004) Hervé Guyennet [France] ; Christophe Lang [France] ; Xavier Rebeuf [France] ; Mario Thron [Allemagne]Middleware for Global e-Maintenance
000390 (2004) Bernard Chabalier [France] ; Philippe Hubert [France] ; Christophe Lang [France] ; Xavier Rebeuf [France] ; Mario Thron [Allemagne]D6.3 Definition/Specification of object for the e-maintenance platform
000392 (2004) Yannick Chevalier [France] ; Luca Compagna [Italie] ; Jorge Cuellar [Allemagne] ; Paul Hankes Drielsma [Suisse] ; Jacopo Mantovani [Italie] ; Sebastian Moedersheim [Suisse] ; Laurent Vigneron [France]A High Level Protocol Specification Language for Industrial Security-Sensitive Protocols
000393 (2004) Yannick Chevalier [France] ; Luca Compagna ; Jorge Cuellar [Allemagne] ; Paul Hankes Drielsma [France, Suisse] ; Jacopo Mantovani ; Sebastian Moedersheim [France, Suisse] ; Laurent Vigneron [France]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/Allemagne/Analysis

HfdIndexSelect -h $EXPLOR_AREA/Data/Allemagne/Analysis/AffOrg.i -k "Université de Franche-Comté" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Allemagne/Analysis/AffOrg.i  \
                -Sk "Université de Franche-Comté" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Allemagne/Analysis/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Allemagne
   |étape=   Analysis
   |type=    indexItem
   |index=    AffOrg.i
   |clé=    Université de Franche-Comté
}}
Wicri

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