Warning: If you are reading this message, probably, your browser is not compliant with the standards recommended by the W3C. We suggest that you upgrade your browser to enjoy a better user experience of this website. More informations on webstandards.org.

Home > Papers

Distributed Systems Group

Papers

Journal papers

  • Carlos Nuno da Cruz Ribeiro and Paulo Ferreira, A policy-oriented language for expressing security specifications, International Journal of Network Security, 5(3), pp. 299-316, Dec. 2007.
  • Paulo Ferreira and Luis Veiga and Carlos Nuno da Cruz Ribeiro, OBIWAN: Design and Implementation of a Middleware Platform, IEEE Transactions on Parallel and Distributed Systems, 14(11), pp. 1086--1099, Nov. 2003, IEEE.
  • Alberto Manuel Ramos da Cunha and Carlos Nuno da Cruz Ribeiro, The Architecture of a Memory Management Unit for Object Oriented Systems, Computer Architecture News, 19(4), pp. 109-116, Jun. 1991, IEEE.

Conference papers

  • Rui Filipe Lopes Joaquim and Carlos Nuno da Cruz Ribeiro, CodeVoting: protecting against malicious vote manipulation at the voters PC, Frontiers of Electronic Voting, Jan. 2008 , Internationales Begegnungs- und Forschungszentrum für Inf.
  • Pedro Félix and Carlos Nuno da Cruz Ribeiro, A Scalable and Flexible Web Services, SWS 07: Proceedings of the 4th ACM workshop on Secure web services, Oct. 2007 , ACM.
  • Rui Filipe Lopes Joaquim and Carlos Nuno da Cruz Ribeiro, Code Voting Protection Against Automatic Vote Manipulation in an Uncontrolled Environment, VOTE-ID 2007: First Conference on E-Voting and Identity, Oct. 2007 , pp. 178-188 , Springer.
  • Carlos Nuno da Cruz Ribeiro, Robust Sensor Self-Initialization: Whispering to Avoid Intruders, SECUWARE 2007, The International Conference on Emerging Security Information, Systems, and Technologies, Oct. 2007 , pp. 101-107 , IEEE Computer Society.
  • Duarte Borges Figueira and Carlos Nuno da Cruz Ribeiro, Taxonomia de Ataques e de Defesas de Segurança RFID, 3 Conferência Nacional sobre Segurança Informática nas Organziações (SINO2007), Nov. 2007 , SINO 2007.
  • Paulo Ferreira and Carlos Nuno da Cruz Ribeiro, Traceable Electronic Voting, 3 Conferência Nacional sobre Segurança Informática nas Organziações (SINO2007), Nov. 2007 , SINO2007.
  • Paulo Andrade and Fernando Henrique Corte Real Mira da Silva and Carlos Nuno da Cruz Ribeiro, AN EFFICIENT INTRUSION DETECTION SYSTEM FOR NETWORKS WITH CENTRALIZED ROUTING, SECRYPT2007: International Conference on Security and Cryptography, Jul. 2007 .
  • Filipe Bastos de Freitas and Rodrigo Rodrigues and Carlos Nuno da Cruz Ribeiro and Paulo Ferreira and Luís Rodrigues, Verme: Worm Containment in Peer-to-Peer Overlays, Proc. of the 6th International Workshop on Peer-to-Peer Systems (IPTPS'07), Jan. 2007 .
  • Pedro Gama and Carlos Nuno da Cruz Ribeiro and Paulo Ferreira, A Scalable History-based Policy Engine, Seventh IEEE Workshop on Policies for Distributed Systems and Networks (Policy 2006), Jun. 2006 , pp. 100-109 , IEEE Computer Society.
  • Pedro Gama and Carlos Nuno da Cruz Ribeiro and Paulo Ferreira, Heimdhal: A History-based Policy Engine for Grids, Sixth IEEE International Symposium on Cluster Computing and the Grid (CCGrid'06), May. 2006 , pp. 481-488 , IEEE Computer Society
  • André Ventura da Cruz Marnôto Zúquete and Carlos Nuno da Cruz Ribeiro, A flexible, large-scale authentication policy for WLAN roaming users using IPSec and public key certification, 7ª Conferência sobre Redes de Computadores, CRC2004, Oct. 2004 .
  • Carlos Nuno da Cruz Ribeiro and Fernando Henrique Corte Real Mira da Silva and André Ventura da Cruz Marnôto Zúquete, A Roaming Authentication Solution for Wifi using IPSec VPNs with client certificates, TERENA Networking Conference, Jun. 2004 , pp. 7-10 , TERENA.
  • Pedro Manuel Franscisco da Silva Dias and Carlos Nuno da Cruz Ribeiro and Paulo Ferreira, Enforcing History-Based Security Policies in Mobile Agent Systems, IEEE 4th International Workshop on Policies for Distributed Systems and Networks, Jun. 2003 , IEEE.
  • Carlos Nuno da Cruz Ribeiro and André Ventura da Cruz Marnôto Zúquete and Paulo Ferreira and Paulo Jorge Tavares Guedes, SPL: An access control language for security policies with complex constraints, Network and Distributed System Security Symposium (NDSS’01), Feb. 2001 , pp. 89-107 , Internet Society.
  • Carlos Nuno da Cruz Ribeiro and André Ventura da Cruz Marnôto Zúquete and Paulo Ferreira and Paulo Jorge Tavares Guedes, SPL: An access control language for security policies with complex constraints, Network and Distributed System Security Symposium (NDSS’01), Feb. 2001 , pp. 89-107 , Internet Society.
  • Carlos Nuno da Cruz Ribeiro and André Ventura da Cruz Marnôto Zúquete and Paulo Ferreira and Paulo Jorge Tavares Guedes, Security Policy Consistency, First Workshop on Rule-Based Constraint Reasoning and Programming, Jul. 2000 , Computing Research Repository.
  • Carlos Nuno da Cruz Ribeiro and Paulo Jorge Tavares Guedes, Verifying Workflow Processes against Organization Security Policies, WET ICE '99 -- IEEE Fourth International Workshop on Enterprise Security, Jun. 1999 , pp. 190-192 , IEEE.