Barbara FilaBooksGraphical Models for SecurityJuggling Formal Methods and SecurityAuthor data: Open Library