Gimena Pujol

According to our database, Gimena Pujol authored at least 5 papers between 2008 and 2011.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2011

A Distributed Secure Ontology for Certified Services Oriented Applications.

Antonio Mana, Gimena Pujol, Claudia Pandolfo

Proceedings of the 5th IEEE International Conference on Semantic Computing (ICSC 2011), 2011

2010

ASSERT4SOA: Toward Security Certification of Service-Oriented Applications.

Marco Anisetti, Claudio A. Ardagna, Franco Guida, Sigrid Gürgens, Volkmar Lotz, Antonio Maña, Claudia Pandolfo, Jean-Christophe R. Pazzaglia, Gimena Pujol, George Spanoudakis

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2010 Workshops, 2010

Verification of Security Policy of Service Oriented Systems.

Antonio Maña, Gimena Pujol

Proceedings of the 16th International Conference on Distributed Multimedia Systems, 2010

2009

Specification of Security and Dependability Properties.

Sigrid Gürgens, Gimena Pujol

Proceedings of the Security and Dependability for Ambient Intelligence, 2009

2008

Towards Formal Specification of Abstract Security Properties.

Antonio Maña, Gimena Pujol

Proceedings of the The Third International Conference on Availability, 2008