Formal models and techniques for analyzing security protocolsde Véronique Cortier, Steve KremerMateriasComputer securityAccess controlComputer networksComputersSecurity measuresElectronic information resourcesComputers, access controlComputer networks, security measuresEdiciones (2)
