BibSonomy :: author  ::

bookmarks

publications

(6)

• A Model for Trust Metrics Analysis.
  Isaac Agudo and Carmen Fernandez-Gago and Javier Lopez TrustBus 28-37 (2008)
  to dblp by dblp on 2008-09-01 00:00:00
  | URL | BibTeX  
• Featuring trust and reputation management systems for constrained hardware devices.
  Rodrigo Roman and M. Carmen Fernández Gago and Javier Lopez Autonomics 6 (2007)
  to dblp by dblp on 2008-05-13 00:00:00
  | URL | BibTeX  
• Temporal Logics of Knowledge and their Applications in Security.
  Clare Dixon and M. Carmen Fernández Gago and Michael Fisher and Wiebe van der Hoek Electr. Notes Theor. Comput. Sci. 186 27-42 (2007)
  to dblp by dblp on 2007-09-21 00:00:00
  | URL | BibTeX  
• First-Order Temporal Verification in Practice.
  M. Carmen Fernández Gago and Ullrich Hustadt and Clare Dixon and Michael Fisher and Boris Konev J. Autom. Reasoning 34 295-321 (2005)
  to dblp by dblp on 2007-02-09 00:00:00
  | URL | BibTeX  
• Using Temporal Logics of Knowledge in the Formal Verification of Security Protocols.
  Clare Dixon and M. Carmen Fernández Gago and Michael Fisher and Wiebe van der Hoek TIME 148-151 (2004)
  to dblp by dblp on 2004-10-07 00:00:00
  | URL | BibTeX  
• Algorithms for Guiding Clausal Temporal Resolution.
  M. Carmen Fernández Gago and Michael Fisher and Clare Dixon KI 235-252 (2002)
  to dblp by dblp on 2002-09-03 00:00:00
  | URL | BibTeX