亚洲免费av电影一区二区三区,日韩爱爱视频,51精品视频一区二区三区,91视频爱爱,日韩欧美在线播放视频,中文字幕少妇AV,亚洲电影中文字幕,久久久久亚洲av成人网址,久久综合视频网站,国产在线不卡免费播放

        ?

        終結(jié)黑客攻擊的操作系統(tǒng)問世

        2016-02-05 02:32:54
        中國教育網(wǎng)絡(luò) 2016年12期
        關(guān)鍵詞:計算機系問世內(nèi)核

        終結(jié)黑客攻擊的操作系統(tǒng)問世

        近日,耶魯大學(xué)計算機系教授邵中小組成功研發(fā)世界上第一個反黑客攻擊操作系統(tǒng)CertiKOS。

        一直以來,計算機科學(xué)家都認為,計算機的操作系統(tǒng)在其核心應(yīng)該有一個小的、可信的內(nèi)核,促進系統(tǒng)的軟件和硬件之間的通信。 但是操作系統(tǒng)是復(fù)雜的,并且它需要的是一個單一的弱連接代碼,該代碼通過傳統(tǒng)測試幾乎不可能檢測到,并且使系統(tǒng)易受黑客攻擊。

        CertiKOS具有極高的安全性和可靠性,采用了模塊分層驗證法(modular layered verification methods),擁有并發(fā)性,可同時在多個CPU內(nèi)核上多線程運行。此外,該系統(tǒng)整合了形式驗證,對無論是智能家電還是物聯(lián)網(wǎng)設(shè)備都能起到防黑客攻擊的保護作用。CertiKOS的高可信度操作系統(tǒng)內(nèi)核,可在此基礎(chǔ)上建立能免受網(wǎng)絡(luò)攻擊的信息物理系統(tǒng)(CPS,Cyber-Physical Systems)。CertiKOS的模塊分層驗證法還可被應(yīng)用到除操作系統(tǒng)外的任何軟件中。

        (來源:Yale News)

        猜你喜歡
        計算機系問世內(nèi)核
        首個人工毛囊問世
        軍事文摘(2023年2期)2023-02-17 09:20:24
        萬物皆可IP的時代,我們當夯實的IP內(nèi)核是什么?
        強化『高新』內(nèi)核 打造農(nóng)業(yè)『硅谷』
        計算機系簡介
        基于嵌入式Linux內(nèi)核的自恢復(fù)設(shè)計
        Linux內(nèi)核mmap保護機制研究
        童年趣事之不一起玩的理由
        童年趣事之不一起玩的理由
        蒸汽機的問世
        小布老虎(2016年10期)2016-12-01 05:46:33
        俺咋找不到女朋友呢?
        2021av在线| 桃红色精品国产亚洲av| 国产69精品久久久久app下载| 久久精品人人做人人爽| 国产亚洲sss在线观看| 丝袜美腿亚洲综合久久| 久久久精品久久久久久96| 熟妇丰满多毛的大隂户| 狠狠色综合播放一区二区| 亚洲av精品一区二区| 亚洲精品粉嫩美女一区| 亚洲av无码一区二区三区人妖 | 亚洲av无码专区在线亚| 日韩精品视频中文字幕播放| 亚洲码欧美码一区二区三区| 99精品国产99久久久久久97| av深夜福利在线| 蜜桃视频一区视频二区| 国产成人av在线免播放观看新| 亚州少妇无套内射激情视频| 精品日韩欧美| 亚洲av日韩专区在线观看| 高清偷自拍亚洲精品三区| 久久AV老司机精品网站导航 | 亚洲色精品三区二区一区 | 精品少妇一区二区av免费观看| 亚洲av成人中文无码专区| 亚洲tv精品一区二区三区| 亚洲av资源网站手机在线| a级国产乱理伦片| 五十路熟妇亲子交尾| 亚洲国产精品亚洲高清| 日韩在线观看入口一二三四| 久久亚洲国产成人精品性色| 婷婷第四色| 男人天堂亚洲一区二区| 午夜射精日本三级| 欧美精品中文| h视频在线观看视频在线| 亚洲精品中文字幕乱码三区| 熟妇与小伙子matur老熟妇e|