M. Carmen Fernández Gago

	2012
17		Catherine Meadows, M. Carmen Fernández Gago: Security and Trust Management - 7th International Workshop, STM 2011, Copenhagen, Denmark, June 27-28, 2011, Revised Selected Papers Springer 2012
16		Francisco Moyano, M. Carmen Fernández Gago, Isaac Agudo, Javier Lopez: A Task Ordering Approach for Automatic Trust Establishment. ESSoS 2012: 75-88
	2011
15		Cristina Alcaraz, M. Carmen Fernández Gago, Javier Lopez: An Early Warning System Based on Reputation for Energy Control Systems. IEEE Trans. Smart Grid 2(4): 827-834 (2011)
	2010
14		Javier Lopez, Rodrigo Roman, Isaac Agudo, M. Carmen Fernández Gago: Trust management systems for wireless sensor networks: Best practices. Computer Communications 33(9): 1086-1093 (2010)
13		José Luis Vivas, M. Carmen Fernández Gago, Javier Lopez, Andrés Benjumea: A security framework for a workflow-based grid development platform. Computer Standards & Interfaces 32(5-6): 230-245 (2010)
12		Isaac Agudo, M. Carmen Fernández Gago, Javier Lopez: A scale based trust model for multi-context environments. Computers & Mathematics with Applications 60(2): 209-216 (2010)
	2009
11		Isaac Agudo, M. Carmen Fernández Gago, Javier Lopez: A Multidimensional Reputation Scheme for Identity Federations. EuroPKI 2009: 225-238
10		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
9		Isaac Agudo, M. Carmen Fernández Gago, Javier Lopez: Concurrent access control for multi-user and multi-processor systems based on trust relationships. Concurrency and Computation: Practice and Experience 21(10): 1389-1403 (2009)
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

Coauthor Index

1	Isaac Agudo	[6] [7] [8] [9] [10] [11] [12] [14] [16]
2	Cristina Alcaraz	[10] [15]
3	Andrés Benjumea	[13]
4	Clare Dixon	[1] [2] [3] [4]
5	Gerardo Fernandez	[10]
6	Michael Fisher	[1] [2] [3] [4]
7	Wiebe van der Hoek	[2] [4]
8	Ullrich Hustadt	[3]
9	Boris Konev	[3]
10	Javier Lopez	[5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16]
11	Catherine Meadows	[17]
12	Francisco Moyano	[16]
13	Rodrigo Roman	[5] [10] [14]
14	José Luis Vivas	[13]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page