[PDF][PDF] Probably Secure Channels in SPS language
OS Almousa - New Trends in Information Technology (NTIT) …, 2017 - researchgate.net
Abstract Security Protocol Specification language (SPS) is a formal Alice-and-Bob style
language for security protocols. SPS is translated not only to formal models, but also to …
language for security protocols. SPS is translated not only to formal models, but also to …