搜索结果: 1-6 共查到“计算机科学技术基础学科 Safety”相关记录6条 . 查询时间(0.093 秒)
Cornell Tech researchers have developed a mechanism for preserving anonymity in encrypted messaging – which conceals message content but might not cloak the sender’s identity – while simultaneously bl...
Whether you’re using the same old phone, or you received a new smartphone as a holiday gift, the last thing you want to do is put yourself — and your personal information — at risk. Vitaly Shmatikov, ...
第二届面向安全和环境问题中的计算工程科学国际会议（The 2nd International Conference on Computational Engineering and Science for Safety and Environment Problems）
第二届 安全和环境问题 计算工程科学 国际会议
2017/7/5
Following the first successful international conference, Compsafe2014 in Sendai, Japan, on April, 2014, on behalf of the Chinese Association of Computational Mechanics (CACM), we will host Compsafe201...
第二届国际会议在工程和科学计算的安全性和环境（The 2nd International Conference on Computational Engineering and Science for Safety and Environment）
第二届 国际会议 工程 科学计算 安全性 环境
2017/2/14
Following the first successful international conference, Compsafe2014 in Sendai, Japan, on April, 2014, on behalf of the Chinese Association of Computational Mechanics (CACM), we will host Compsafe201...
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...
Operating systems divide virtual memory addresses into kernel space and user space. The interface of a modern operating system consists of a set of system call procedures that may take pointer argumen...