Gimena Pujol

Publication Activity (10 Years)

Years Active: 2008-2011
Publications (10 Years): 0

Publications

Antonio Mana, Gimena Pujol, Claudia Pandolfo
A Distributed Secure Ontology for Certified Services Oriented Applications. ICSC (2011)
Marco Anisetti, Claudio Agostino Ardagna, Franco Guida, Sigrid Gürgens, Volkmar Lotz, Antonio Maña, Claudia Pandolfo, Jean-Christophe R. Pazzaglia, Gimena Pujol, George Spanoudakis
ASSERT4SOA: Toward Security Certification of Service-Oriented Applications. OTM Workshops (2010)
Antonio Maña, Gimena Pujol
Verification of Security Policy of Service Oriented Systems. DMS (2010)
Antonio Maña, Gimena Pujol
Towards Formal Specification of Abstract Security Properties. ARES (2008)