@文章{zbMATH06688105,作者{Michele{Bugliesi}和Stefano{Calzavara}和Riccardo{Focardi}},Title={web安全的形式方法},FJournal={编程中的逻辑和代数方法杂志},日记本={J。日志。阿尔及利亚。方法程序。}},ISSN={2352-2208},体积={87},页数={110--126},年份:{2017},Publisher={Elsevier,阿姆斯特丹},语言{英语},DOI={10.1016/j.jlamp.2016.08.006},MSC2010={68M11 68-02},Zbl={1359.68021}}