Michael Rao < Michael Rusinowitch < Michaël Rusinowitch

Facettes : Author.f

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
000174 (2005)	Véronique Cortier ; Michael Rusinowitch ; Eugen Zalinescu	A resolution Strategy for Verifying Cryptographic Protocols with CBC Encryption and Blind Signatures
000363 (2005)	Florent Jacquemard ; Michael Rusinowitch ; Laurent Vigneron	Tree Automata with Equality Constraints Modulo Equational Theories
000668 (2004)	Tarek Abbes ; Adel Bouhoula ; Michael Rusinowitch	On the Fly Pattern Matching For Intrusion Detection with Snort
000673 (2004)	Tarek Abbes ; Adel Bouhoula ; Michael Rusinowitch	Protocol Analysis in Intrusion Detection Using Decision Tree
000675 (2004)	Yannick Chevalier ; Ralf Küesters ; Michael Rusinowitch ; Mathieu Turuani	Deciding the Security of Protocols with Commuting Public Key Encryption.
000699 (2004)	Tarek Abbes ; Alakesh Haloi ; Michael Rusinowitch	High Performance Intrusion Detection using Traffic Classification
000745 (2004)	Tarek Abbes ; Michael Rusinowitch	Fast Multipattern Matching for Intrusion Detection
000753 (2004)	Tarek Abbes ; Michael Rusinowitch ; Alakesh Haloi	Network Traffic Classification for Intrusion Detection
000773 (2004)	Siva Anantharaman ; Paliath Narendran ; Michael Rusinowitch	Unification Modulo ACUI Plus Distributivity Axioms
000864 (2004)	Michael Rusinowitch	A Decidable Analysis of Security Protocols
000930 (2003)	Hubert Comon ; Paliath Narendran ; Robert Nieuwenhuis ; Michael Rusinowitch	Deciding the Confluence of Ordered Term Rewrite Systems
000B94 (2003)	Yannick Chevalier ; Ralf Kuester ; Michael Rusinowitch ; Mathieu Turuani ; Laurent Vigneron	Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions
000D92 (2003)	Tarek Abbes ; Adel Bouhoula ; Michael Rusinowitch	Filtrage Efficace Pour la Détection d'Intrusions
001282 (2002)	Alessandro Armando ; David Basin ; Mehdi Bouallagui ; Yannick Chevalier ; Luca Compagna ; Sebastian Moedersheim ; Michael Rusinowitch ; Mathieu Turuani ; Luca Vigano ; Laurent Vigneron	The AVISS Security Protocol Analysis Tool
001297 (2002)	Adel Bouhoula ; Michael Rusinowitch	Observational proofs by rewriting
001436 (2001)	Michael Rusinowitch	Vérification et réécriture
001451 (2001)	Michael Rusinowitch	Vérification automatique de protocoles cryptographiques avec CASRUL
001565 (2001)	Alessandro Armando ; Michael Rusinowitch ; Sorin Stratulat	Incorporating Decision Procedures in Implicit Induction
001566 (2001)	Alessandro Armando ; Michael Rusinowitch ; Sorin Stratulat	Incorporating Decision Procedures in Implicit Induction
001599 (2001)	Michael Rusinowitch	Rewriting for Deduction and Verification
001647 (2001)	Michael Rusinowitch	Uniform Derivation of Satisfiability Procedures

---

List of associated KwdEn.i

Nombre de documents	Descripteur
9	rewriting
9	verification
8	automated deduction
5	intrusion detection
4	protocol
4	protocols
4	security
3	cryptographic protocols
2	complexity
2	decision procedure
2	feature interactions
2	induction
2	model checking
2	pattern matching
2	proof
2	security protocols verification
2	traffic classification
1	Automated deduction
1	Confluence
1	Intrusion detection
1	Ordered rewriting
1	Pattern matching
1	Process ALgebra
1	Reachability
1	Verification
1	abr protocol
1	associative and commutative theories
1	associative commutative operators
1	automated verification
1	basic paramodulation
1	behaviours
1	confluence
1	confluences
1	contraintes
1	decision
1	decision procedures
1	decision procedures rewriting
1	deduction
1	detection rules organization
1	directed acyclic word
1	evasion
1	finite automata
1	finite automaton
1	first order theorem proving
1	graph
1	horn clauses
1	infinite systems
1	integration of reasoning modules
1	intruder model
1	language inclusion
1	lexicographic path ordering
1	logic programming
1	model-checking
1	normal forms
1	objects
1	observational proofs
1	ordered rewrite systems
1	ordered rewriting
1	ordering constraints
1	orderings
1	ordres
1	paramodulation
1	path orderings
1	pattern matchin
1	patterns
1	polynomial reductions
1	proof by implicit induction
1	proofs
1	protocal analysis
1	pvs prover
1	recursive path ordering
1	reecriture
1	refinement
1	resolution
1	resolution strategies
1	rewrite systems
1	rewriting deduction verification
1	rules factorization
1	sat solving
1	satisfiability
1	splitting
1	string matching
1	term rewriting
1	terminaison
1	termination
1	text analysis
1	theorem proving
1	transition systems
1	tree automata
1	trees
1	unbounded
1	unification
1	verification of infinite state systems
1	words

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Crin/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/Author.i -k "Michael Rusinowitch" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/Author.i  \
                -Sk "Michael Rusinowitch" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Crin/Checkpoint/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Crin
   |étape=   Checkpoint
   |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