scientific article

zbMath1199.68015MaRDI QIDQ3642390

Huibin Wang, Qingmei Chang, Yuefei Zhu

Publication date: 11 November 2009

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

formal analysissecurity propertyprotocol composition logic

Mathematics Subject Classification ID

Network protocols (68M12) Combinatory logic and lambda calculus (03B40)

This page was built for publication: