Erik Poll et al.: Protocol State Machines and Session Languages: Specification, implementation, and Security Flaws. (2015)conf/sp/PollRS1510.1109/SPW.2015.32Protocol State Machines and Session Languages: Specification, implementation, and Security Flaws.3Erik Poll1Joeri de Ruiter2Aleksy Schubert3125-133IEEE Symposium on Security and Privacy WorkshopsIEEE Symposium on Security and Privacy Workshops20152015provenance information for RDF data of dblp record 'conf/sp/PollRS15'2023-03-24T00:03:10+0100