| 2008 |
|---|
| 7 | EE | 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 | EE | Isaac Agudo,
M. Carmen Fernández Gago,
Javier Lopez:
A Model for Trust Metrics Analysis.
TrustBus 2008: 28-37 |
| 2007 |
|---|
| 5 | EE | Rodrigo Roman,
M. Carmen Fernández Gago,
Javier Lopez:
Featuring trust and reputation management systems for constrained hardware devices.
Autonomics 2007: 6 |
| 4 | EE | 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 | EE | 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 | EE | 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 | EE | M. Carmen Fernández Gago,
Michael Fisher,
Clare Dixon:
Algorithms for Guiding Clausal Temporal Resolution.
KI 2002: 235-252 |
