The paper "Towards Formal Specification of Abstract Security Properties" by Antonio Maņa and Gimena Pujol (University of Malaga, SERENITY Integration Activity A5) has been accepted as full paper and presented at the ARES’08 conference in Barcelona (4th - 7th March 2008).
ARES’08, the Third International Conference on Availability, Reliability and Security, brought together researchers and practitioners in the area of dependability. The conference had an acceptance rate of 22%. ARES’08 website : http://www.ares-conference.eu/conf/
