"Model Checking the IKEv2 Protocol Using Spin."

Tristan Ninet et al. (2019)

Details and statistics

DOI: 10.1109/PST47121.2019.8949057

access: closed

type: Conference or Workshop Paper

metadata version: 2020-01-13

a service of  Schloss Dagstuhl - Leibniz Center for Informatics