Home Publications

Validation of Access Control Systems

Research Area: Uncategorized Year: 2014
Type of Publication: In Book
  • Bertolino, Antonia
  • Traon, Yves Le
  • Lonetti, Francesca
  • Marchetti, Eda
  • Mouelhi, Tejeddine
Editor: Maritta Heissel, Wouter Joosen, Javier Lopez, Fabio Martinellii Volume: 8431
Chapter: 9 Pages: 214-238
Publisher: Springer Berlin / Heidelberg
Series: LNCS
partners: CNR, associate, projects: NESSoS, no tier, to appear (citations: 0)