 | 2009 |
|---|
| 9 |       | Cristina Alcaraz,
Isaac Agudo,
M. Carmen Fernández Gago,
Rodrigo Roman,
Gerardo Fernandez,
Javier Lopez:
Adaptive Dispatching of Incidences Based on Reputation for SCADA Systems.
TrustBus 2009: 86-94 |
| 8 | | Isaac Agudo,
M. Carmen Fernández Gago,
Javier Lopez:
An Evolutionary Trust and Distrust Model.
Electr. Notes Theor. Comput. Sci. 244: 3-12 (2009) |
| 2008 |
|---|
| 7 | | Isaac Agudo,
M. Carmen Fernández Gago,
Javier Lopez:
Delegating Privileges over Finite Resources: A Quota Based Delegation Approach.
Formal Aspects in Security and Trust 2008: 302-315 |
| 6 | | Isaac Agudo,
M. Carmen Fernández Gago,
Javier Lopez:
A Model for Trust Metrics Analysis.
TrustBus 2008: 28-37 |
| 2007 |
|---|
| 5 | | Rodrigo Roman,
M. Carmen Fernández Gago,
Javier Lopez:
Featuring trust and reputation management systems for constrained hardware devices.
Autonomics 2007: 6 |
| 4 | | Clare Dixon,
M. Carmen Fernández Gago,
Michael Fisher,
Wiebe van der Hoek:
Temporal Logics of Knowledge and their Applications in Security.
Electr. Notes Theor. Comput. Sci. 186: 27-42 (2007) |
| 2005 |
|---|
| 3 | | M. Carmen Fernández Gago,
Ullrich Hustadt,
Clare Dixon,
Michael Fisher,
Boris Konev:
First-Order Temporal Verification in Practice.
J. Autom. Reasoning 34(3): 295-321 (2005) |
| 2004 |
|---|
| 2 | | Clare Dixon,
M. Carmen Fernández Gago,
Michael Fisher,
Wiebe van der Hoek:
Using Temporal Logics of Knowledge in the Formal Verification of Security Protocols.
TIME 2004: 148-151 |
| 2002 |
|---|
| 1 | | M. Carmen Fernández Gago,
Michael Fisher,
Clare Dixon:
Algorithms for Guiding Clausal Temporal Resolution.
KI 2002: 235-252 |
