Analyzing security protocols using time-bounded task-PIOAs
scientific article; zbMATH DE number 5559863
scientific article