搜索结果: 1-1 共查到“Secure Information Flow”相关记录1条 . 查询时间(0.078 秒)
The termination insensitive secure information flow problem can be reduced to solving a safety problem via a simple program transformation.Barthe, D’Argenio, and Rezk coined the term “self-composition...