发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

[IEEE Comput. Soc 13th IEEE Computer Security Foundations Workshop - Cambridge, UK (3-5 July 2000)] Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13 - Information flow analysis in a discrete-time process algebra

[IEEE Comput. Soc 13th IEEE Computer Security Foundations Workshop - Cambridge, UK (3-5 July 2000)] Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13 - Information flow analysis in a discrete-time process algebra

Focardi, R.; Gorrieri, R.; Martinelli, F.

作者Focardi, R.; Gorrieri, R.; Martinelli, F.
文件大小420.18KB
发表时间2000
DOI10.1109/csfw.2000.856935
页码170-184

← 返回【学霸图书馆】主页