Posts Tagged: "Coq"

资讯

Linux 基金会透露未来 Linux 内核可能会引入形式验证

| | 1 Comment

Linux 基金会的执行董事 Jim Zemblin 是本次大会的主持人,他同时也出席了本次大会的发布会,接受了中国媒体的专访,在19日上午的访问中,Jim 透露,未来 Linux 内核将会引入逻辑形式验证,以获得更好的安全性,这将大大增加 Linux 在内核安全上可信赖度。...