×

找到5个文档(结果1-5)

物联网系统中工作的安全指标。 (英语) Zbl 1440.68017号

Di Pierro,Alessandra(编辑)等人,《通过程序分析从lambda演算到网络安全》。在克里斯·汉金退休之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。12065, 233-255 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

安全的服务编排。 (英语) Zbl 1195.68015号

Aldini,Alessandro(编辑)等人,《安全分析和设计基础》IV.FOSAD 2006/2007教程讲座。柏林:施普林格出版社(ISBN 978-3-540-74809-0/pbk)。计算机科学讲义4677,24-74(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于图形的互联系统模型。 (英语) Zbl 1274.68011号

Aichernig,Bernhard K.(编辑)等人,《十字路口的形式方法》。从万灵药到基础支持。2002年3月18日至20日,葡萄牙里斯本,联合国大学/国际软件技术研究所十周年座谈会。修订论文。柏林:施普林格出版社(ISBN 3-540-20527-6/pbk)。莱克特。注释计算。科学。2757, 242-266 (2003).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

出版年份

主字段