ProToc - An Universal Language for Security Protocols Specifications. - A. Grosser; Miroslaw Kurkowski; Jacek Piatkowski; Sabina Szymoniak (ACS, 2014)