Semantics And Verification Of Security Protocolsde Sjouke MauwMateriasComputer networks, security measuresComputer network protocolsComputer securityComputer networksSecurity measuresSemantic computingEdiciones (1)Semantics And Verification Of Security Protocols (2013)Springer · ISBN 9783540786351Más obras de Sjouke Mauw