@INPROCEEDINGS{spatterns2008a,
  author = {Daniel Serrano and Antonio Maņa and Athanasios-Dimitrios Sotirious},
  title = {Towards Precise and Certified Security Patterns},
  booktitle = {Proceedings of 2nd International Workshop on Secure systems methodologies
	using patterns (Spattern 2008)},
  year = {2008},
  pages = {287-291},
  address = {Turin, Italy},
  month = {September},
  publisher = {IEEE Computer Society},
  note = {ISBN 978-0-7695-3299-8},
  owner = {Dani},
  timestamp = {2008.09.09}
}