In facts SSM is a practical, intuitive and strict formal method for security protocol analysis.

事实证明，串空间模型是分析安全协议的一种实用、直观和严格的形式化方法。

youdao

The purpose of the project is to bring together the state-of-the-art in scientific and practical knowledge on SSM and to make that knowledge available through a practical training course.

UNESCO: OFFICE IN VENICE