IET Information Security. 2014;8(1):12-17. doi: 10.1049/iet-ifs.2012.0342 Q22.02025

A bottom-up approach to verifiable embedded system information flow security

一种自下而上的可验证嵌入式系统信息流安全方法

DOI: 10.1049/iet-ifs.2012.0342

摘要 查看摘要

Copyright © IET Information Security. 中文内容为AI机器翻译，仅供参考！