Steve Kremer · 2 obras en el catálogoObrasFormal models and techniques for analyzing security protocolsPPrinciples of Security and TrustPrinciples of Security and Trust