IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 315
Titolo Anno di pubblicazione Autori Unitn File
Verifying security protocols as planning in logic programming 1-gen-2001 Massacci, Fabio +
Attacking fair-exchange protocols: parallel models vs trace models 1-gen-2001 Massacci, Fabio +
Programmazione con strutture dati in C 1-gen-2001 Massacci, Fabio +
How to model (and simplify) the SET payment phase for automated verification 1-gen-2001 Massacci, Fabio +
Lotrec: The Generic Tableau Prover for Modal and Description Logics 1-gen-2001 Massacci, Fabio +
Decision Procedures for Expressive Description Logics with Intersection, Composition, Converse of Roles and Role Identity 1-gen-2001 Massacci, Fabio
Formal Verification of SET by VISA and MasterCard: Lessons for Formal Methods in Security 1-gen-2002 Massacci, Fabio
An Access Control System for Business Processes for Web Services 1-gen-2002 Koshutanski, HristoMassacci, Fabio
The verification of an industrial payment protocol: the SET purchase phase 1-gen-2002 Massacci, Fabio +
Solving QBF with SMV 1-gen-2002 Massacci, Fabio +
Planning attacks to security protocols: case studies in logic programming 1-gen-2002 Massacci, Fabio +
Requirement Engineering meets Security: A Case Study on Modelling Secure Electronic Transactions by VISA and Mastercard 1-gen-2003 Massacci, FabioMylopoulos, JohnGiorgini, Paolo
An Access Control System for Business Processes for Web Services 1-gen-2003 Koshutanski, HristoMassacci, Fabio
A semantics and a calculi for reasoning about credential-based systems 1-gen-2003 Massacci, Fabio +
How to fake an RSA signature by encoding modular root finding as a SAT problem 1-gen-2003 Massacci, Fabio +
Reasoning about Credential-based Systems 1-gen-2003 Massacci, Fabio +
A Logical Model for Security of Web Services 1-gen-2003 Koshutanski, HristoMassacci, Fabio
Requirement Engineering Meets Security: A Case Study on Modelling Secure Electronic Transactions by VISA and Mastercard 1-gen-2003 Giorgini, PaoloMassacci, FabioMylopoulos, Ioannis
Attacking Fair-Exchange Protocols: Parallel Models vs. Trace Models 1-gen-2003 Massacci, Fabio +
Verifying the SET registration protocols 1-gen-2003 Massacci, Fabio +
Mostrati risultati da 21 a 40 di 315
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