Gimena Pujol

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2011
A Distributed Secure Ontology for Certified Services Oriented Applications.
Proceedings of the 5th IEEE International Conference on Semantic Computing (ICSC 2011), 2011

2010
ASSERT4SOA: Toward Security Certification of Service-Oriented Applications.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2010 Workshops, 2010

Verification of Security Policy of Service Oriented Systems.
Proceedings of the 16th International Conference on Distributed Multimedia Systems, 2010

2009
Specification of Security and Dependability Properties.
Proceedings of the Security and Dependability for Ambient Intelligence, 2009

2008
Towards Formal Specification of Abstract Security Properties.
Proceedings of the The Third International Conference on Availability, 2008


  Loading...