Michael Rosemann < Michael Rusinowitch < Michael Sagraloff

Facettes : Author.f

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
000191 (2009-08-28)	Abdessamad Imine ; Asma Cherif ; Michael Rusinowitch	A Flexible Access Control Model for Distributed Collaborative Editors
000294 (2014-11-03)	Hiep H. Nguyen ; Abdessamad Imine ; Michael Rusinowitch	A Maximum Variance Approach for Graph Anonymization
000378 (2014-08-05)	Walid Belkhir ; Gisela Rossi ; Michael Rusinowitch	A Parametrized Propositional Dynamic Logic with Application to Service Synthesis
000A54 (2009)	Humberto Abdelnur ; Tigran Avanesov ; Michael Rusinowitch ; Radu State	Abusing SIP authentication
000A91 (2008-06)	Siva Anatharaman ; Hai Lin ; Chris Lynch ; Paliath Narendran ; Michael Rusinowitch	Active Intruders with Caps
000E08 (2008)	Tarek Abbes ; Adel Bouhoula ; Michael Rusinowitch	An inference system for detecting firewall filtering rules anomalies
001077 (2016-02-26)	Mathieu Turuani ; Thomas Voegtlin ; Michael Rusinowitch	Automated Verification of Electrum Wallet
001092 (2013-11-21)	Michael Rusinowitch	Automated verification of security protocols and application to services
001101 (2008-07-08)	Yannick Chevalier ; Mohammed Anis Mekki ; Michael Rusinowitch	Automatic Composition of Services with Security Policies
001392 (2010-04)	Siva Anantharaman ; Hai Lin ; Christopher Lynch ; Paliath Narendran ; Michael Rusinowitch	Cap Unification: Application to Protocol Security modulo Homomorphic Encryption
001491 (2008)	Florent Jacquemard ; Michael Rusinowitch	Closure of Hedge-Automata Languages by Hedge Rewriting
001546 (2009)	Enrica Nicolini ; Christophe Ringeissen ; Michael Rusinowitch	Combinable Extensions of Abelian Groups
001547 (2009-08)	Enrica Nicolini ; Christophe Ringeissen ; Michael Rusinowitch	Combinable Extensions of Abelian Groups
001590 (2010)	Enrica Nicolini ; Christophe Ringeissen ; Michael Rusinowitch	Combining Satisfiability Procedures for Unions of Theories with a Shared Counting Operator
001680 (2010)	Yannick Chevalier ; Michael Rusinowitch	Compiling and securing cryptographic protocols
001681 (2009)	Yannick Chevalier ; Michael Rusinowitch	Compiling and securing cryptographic protocols
001683 (2012-12-15)	Hatem Ghabri ; Ghazi Maatoug ; Michael Rusinowitch	Compiling symbolic attacks to protocol implementation tests
001705 (2008)	Yannick Chevalier ; Ralf Kuesters ; Michael Rusinowitch ; Mathieu Turuani	Complexity results for security protocols with Diffie-Hellman exponentiation and commuting public key encryption
001A55 (2009)	Enrica Nicolini ; Christophe Ringeissen ; Michael Rusinowitch	Data Structures with Arithmetic Constraints: a Non-Disjoint Combination
001A56 (2009-09-16)	Enrica Nicolini ; Christophe Ringeissen ; Michael Rusinowitch	Data Structures with Arithmetic Constraints: a Non-disjoint Combination
001A85 (2012)	Yannick Chevalier ; Michael Rusinowitch	Decidability of Equivalence of Symbolic Derivations

---

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/Author.i -k "Michael Rusinowitch" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/Author.i  \
                -Sk "Michael Rusinowitch" \
         | 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=    Author.i
   |clé=    Michael Rusinowitch
}}

---

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