IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 34 di 34
Titolo Data di pubblicazione Autore(i) File
Formalising Process Calculi in Higher Order Logic, Ph.D. Thesis 1-gen-1997 Nesi, Monica
Formalising a Value-Passing Calculus in HOL 1-gen-1999 Nesi, Monica
Adding sorts to TRSs: a result on modularity of termination 1-gen-1999 Inverardi, Paola; Nesi, Monica
On Structural Properties of Eta-expansions of Identity 1-gen-2003 Intrigila, B.; Nesi, Monica
A Rewriting Strategy for Protocol Verification 1-gen-2003 Nesi, Monica; Rucci, G.; Verdesca, M.
A Rewriting Strategy for Protocol Verification (Extended Abstract) 1-gen-2003 Nesi, Monica; Rucci, G.; Verdesca, M.
On the Complexity of Deciding the Derivation Length in Term Rewriting Systems 1-gen-2003 Flammini, Michele; Inverardi, Paola; Mango, D; Nesi, Monica
On Rewriting Protocol Specifications 1-gen-2004 Nesi, Monica; Rucci, G; Verdesca, M.
A Declarative Framework for Adaptable Applications in Heterogeneous Environments 1-gen-2004 Inverardi, Paola; Mancinelli, F; Nesi, Monica
Formalizing and Analyzing the Needham-Schroeder Symmetric-Key Protocol by Rewriting 1-gen-2005 Nesi, Monica; Rucci, G.
Formalization and Verification of Security Protocols by Rewriting 1-gen-2005 Nesi, Monica; Nocera, G.
Deriving the Type Flaw Attacks in the Otway-Rees Protocol by Rewriting 1-gen-2006 Nesi, Monica; G., Nocera
Specification and Analysis of Security Protocols by Rewriting 1-gen-2006 Nesi, Monica
Proceedings of SecReT'07 - Workshop on Security and Rewriting Techniques, Paris, June 2007 1-gen-2007 Nesi, Monica; Treinen, R.
Mostrati risultati da 21 a 34 di 34
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile