@收款{zbMATH07223197，作者={Bodei，Chiara and Degano，Pierpaolo and Ferrari，Gian Luigi and Galletta，Letterio}，标题={IoT}系统中工作的安全度量}，BookTitle={从lambda演算到网络安全，通过程序分析。克里斯·汉金退休之际的论文}，国际标准图书编号={978-3-030-41102-2；978-3-0.30-41103-9}，页码={233--255}，年份={2020年}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-030-41103-9_9}，关键词={68M11,68M25,68Q55,68R10}，URL={hdl.handle.net/11568/1031653}，zbMATH={7223197}，Zbl={1440.68017}}