Carmen Fernández-Gago

Postdoctoral research assistant


Book Chapters

Journal Publications

  • Javier Lopez, Rodrigo Roman, Isaac Agudo, Carmen Fernandez-Gago. Trust Management Systems for Wireless Sensor Networks: Best Practices. Computer Communications, Elsevier, 2010. (DOI)
  • Isaac Agudo, Carmen Fernandez-Gago, Javier Lopez. A Scale Based Trust Model for Multi-Context Environments. Computers and Mathematics with Applications, Elsevier , 2010 (DOI)
  • Isaac Agudo, Carmen Fernandez-Gago, Javier Lopez. Concurrent access control for multi-user and multi-processor systems based on trust relationships. Concurrency and Computation: Practice and Experience, Wiley InterScience , 2009. (DOI)
  • J. L. Vivas, Carmen Fernandez-Gago, Andres Benjumea, Javier Lopez. A security framework for a workflo-based grid development platform. Computers Standards and Interfaces. Elsevier, 2009. (DOI) 
  • M. C. Fernandez-Gago, U. Hustadt, C. Dixon, M. Fisher, B. Konex. First-Order Temporal Verification in Practice. Journal of Automated Reasoning 34(3), pp 295-321. (DOI) 
  • A. Winfield, Jin Sa, C. Fernandez-Gago, C. Dixon, M. Fisher. On the Formal Specification of Emergent Behaviours of Swarm Robotics Systems. International Journal of Advanced Robotics Systems, 2(4), 2005, pp. 363-371.

Conference Publications

  • C. Alcaraz, I. Agudo, C. Fernandez-Gago, R. Roman, G. Fernandez, J. Lopez. Adaptive Dispatching of Incidences based on Reputation for SCADA Systems. Proceedings of 6th International Conference on Trust, Privacy and Security in Digital Business (TrustBus'09), Linz (Austria), September 2009 (DOI)
  • Isaac Agudo, C. Fernandez-Gago, J. Lopez. A multidimensional Reputation Scheme for Identity Federations. Sixth European Workshop on Public Key Services, Applications and Infratructures (EuroPKI'09). To appear, Pisa (Italy), 2009
  • Isaac Agudo, C. Fernandez-Gago, J. Lopez. Delegating Privileges over Finite Resources: a Quota based Delegation Approach. International Workshop on Formal Methods for Security and Trust (FAST 2008), LNCS 5491, pp. 302-315, 2009, Málaga (Spain). (DOI)
  •  Isaac Agudo, Carmen Fernandez-Gago and Javier Lopez. An Evolutionary Trust and Distrust Model. 4th International Workshop on Security and Trust Management (STM'08), pp. 3-12. ENTCS 244, Elsevier. Trondheim, Norway. June 2008. (DOI) (ScienceDirect)
  • Isaac Agudo, Carmen Fernandez-Gago and Javier Lopez. A Model for Trust Metrics Analysis. 5th International Conference on Trust, Privacy & Security in Digital Business (TrustBus'08), pp. 28-37. LNCS 5185, Springer. Turin, Italy. September 2008. (PDF) (DOI) (ACM Portal) (SpringerLink)
  • Rodrigo Roman, M. Carmen Fernandez-Gago, Javier Lopez. Featuring Trust and Reputation Management Systems for Constrained Hardware Devices. Proceedings of the 1st International Conference on Autonomic Computing and Communication Systems (Autonomics 2007), Rome (Italy), October 2007. 

  • M. Carmen Fernandez-Gago, Rodrigo Roman, Javier Lopez. A Survey on the Applicability of Trust Management Systems for Wireless Sensor Networks. Proceedings of the 3rd International Workshop on Security, Privacy and Trust in Pervasive and Ubiquitous Computing (SecPerU 2007), Istanbul (Turkey), July 2007
  • F. Sanchez-Cid, A. Muñoz, D. Serrano, M. C. Fernandez-Gago. Software Engineering Teccniqes Applied to AmI: Security Patterns.  Proceedings of the First International Conference on Ambient Intelligence Developments (AmID'06)
  • C. Dixon, M. C. Fernandez-Gago, M. Fisher, W. van der Hoek. Using Temporal Logics of Knowledge in the Formal Verification of Security Protocols. Proceedings of TIME 2004, 11th Symposium on Temporal Representation and Reasoning. France 2004, IEEE.