信息安全最新文章 The DAO事件的形式化分析 隨著區(qū)塊鏈應用的推廣與深入，智能合約的作用越來越突出，智能合約的安全問題也更加突顯。由于區(qū)塊鏈不可篡改的特點，智能合約一旦部署不可更改。在開發(fā)階段保證智能合約的可靠性顯得尤為重要。在The DAO事件中，由于智能合約中存在一種被稱為重入漏洞的錯誤，黑客得以竊取在當時價值巨大的以太幣。通過形式化分析來更清晰地展示重入漏洞的特點及重入攻擊行為，并以此為例介紹基于模型檢測技術(shù)的智能合約形式化驗證方法。 發(fā)表于：5/13/2021 區(qū)塊鏈安全與隱私保護前沿技術(shù)發(fā)展現(xiàn)狀 區(qū)塊鏈提供了一個去中心化、不可篡改和可驗證的分類賬，用于記錄數(shù)字資產(chǎn)的交易，并保證交易記錄的不可篡改性，被廣泛應用于教育、政府和醫(yī)療等各個領域。然而，區(qū)塊鏈的安全性和潛在的隱私問題也成為當前研究的焦點?；趨^(qū)塊鏈行業(yè)的安全現(xiàn)狀，探討了區(qū)塊鏈系統(tǒng)存在的問題和威脅；著重分析了區(qū)塊鏈安全與隱私保護的前沿技術(shù)；最后討論了區(qū)塊鏈技術(shù)未來的研究方向。 發(fā)表于：5/13/2021 智能合約安全問題與研究現(xiàn)狀 智能合約是運行在區(qū)塊鏈上的程序，具有去中心化、不可篡改的特性，被廣泛應用于金融、能源、物聯(lián)網(wǎng)等多個領域。然而智能合約一旦實際部署到實時網(wǎng)絡上就不能對其更改，在保證合約安全的同時，缺陷和錯誤也不能通過修改合約代碼得以解決，從而導致重大的安全事故。因此合約實際部署前對其進行安全測試已經(jīng)成為迫切需要解決的問題。介紹了因智能合約漏洞引起的安全事件，對常見的合約漏洞進行詳細分析，完成對已有合約分析工具的總結(jié)，體現(xiàn)了合約安全問題的研究發(fā)展現(xiàn)狀。 發(fā)表于：5/13/2021 泰雷茲與Senetas合作推出世界首個抗量子攻擊的網(wǎng)絡加密解決方案 量子技術(shù)在傳感器、通信、計算機和模擬器等領域具備無限的潛力，催生了一場通常被稱為“第二次量子革命”的國際競爭。這場革命利用了量子物理學最精細的特性，中國、美國以及歐洲的許多國家認為掌握相關技術(shù)是關乎主權(quán)和發(fā)展的重大問題。 發(fā)表于：5/13/2021 美國面臨斷油危機，勒索軟件元兇浮出水面 由于美國最大的輸油管道商Colonial Pipeline上周末遭遇勒索軟件攻擊暫停運營，美國運輸部聯(lián)邦機動車安全局（FMCSA）昨日發(fā)布《地區(qū)緊急狀態(tài)聲明》，臨時解除禁止燃料公路運輸?shù)姆桑⒃试S油罐車駕駛員工作更長的時間。 發(fā)表于：5/11/2021 429首都網(wǎng)絡安全日 429首都網(wǎng)絡安全日 發(fā)表于：5/8/2021 【429首都網(wǎng)絡安全日】知道創(chuàng)宇區(qū)塊鏈安全實驗室亮相 2021 年 4 月 28 日，由北京市公安局、市網(wǎng)信辦聯(lián)合舉辦的第八屆“ 4.29 首都網(wǎng)絡安全日 ”系列宣傳活動正式召開。本次活動以“網(wǎng)絡安全同擔、網(wǎng)絡生活共享”為口號，圍繞數(shù)據(jù)安全治理、人工智能、信息創(chuàng)新技術(shù)、新基建與安全、互聯(lián)網(wǎng)科技安全應用等話題展開探討。 發(fā)表于：5/8/2021 【429首都網(wǎng)絡安全日】華為安全亮相429首都網(wǎng)絡安全日 2021年第8屆首都網(wǎng)絡安全日于2021年4月28日至30日在北京國家會議中心舉辦?！笆锥季W(wǎng)絡安全日”系列活動以“網(wǎng)絡安全同擔，網(wǎng)絡生活共享”為主題，由北京市政府主辦，市公安局聯(lián)合市委網(wǎng)信辦共同承辦。華為在此次活動中展出了最新的網(wǎng)絡安全產(chǎn)品和解決方案，華為安全產(chǎn)品領域副總裁王任棟在主論壇發(fā)表了《網(wǎng)絡安全護航新基建，保障數(shù)字化轉(zhuǎn)型》的主題演講，貼合活動主題，促進國家網(wǎng)絡安全建設、提升全民網(wǎng)絡安全意識。 發(fā)表于：5/8/2021 【429首都網(wǎng)絡安全日】阿里云亮相429首都網(wǎng)絡安全日，用科技構(gòu)建創(chuàng)新安全 2021年4月28日，由北京市政府主辦、市公安局聯(lián)合市委網(wǎng)信辦共同承辦的第八屆“首都網(wǎng)絡安全日”在國家會議中心正式拉開帷幕?；顒訛槠谌眨劢拐故疚覈W(wǎng)絡安全建設成果，阿里巴巴以“數(shù)字經(jīng)濟安全，基建安全美好網(wǎng)絡生活”為主題參展。 發(fā)表于：5/8/2021 【429首都網(wǎng)絡安全日】兌現(xiàn)北京冬奧贊助承諾 奇安信安全防護軟件冬奧版發(fā)布 4月29日，奇安信安全防護軟件冬奧版正式發(fā)布。該軟件優(yōu)先保證給各個國家參加冬奧的工作人員、運動員、志愿者，以及奧運會舉辦城市的城市志愿者使用，同時將面向個人用戶開放。 發(fā)表于：5/8/2021 【429首都網(wǎng)絡安全日】聚焦冬奧保障 百度AI安全矩陣“登場”首都網(wǎng)安日主論壇 繼“4.29首都網(wǎng)絡安全日”展會活動“北京國際互聯(lián)網(wǎng)科技博覽會”在北京國家會議中心提前一天拉開帷幕之后，4月29日，由北京市委網(wǎng)信辦、北京市公安局聯(lián)合北京冬奧組委、北京市疾控中心及國內(nèi)金融、電力等多個部門共同召開的“4.29首都網(wǎng)絡安全日”主活動“冬奧主題活動”正式舉行。 發(fā)表于：5/8/2021 【429首都網(wǎng)絡安全日】百度安全能力矩陣亮相 AI互動閘機首次現(xiàn)身北京 4月28日，以“網(wǎng)絡安全同擔，網(wǎng)絡生活共享”為主題，由北京市委網(wǎng)信辦、北京市公安局主辦的一年一度的“4.29首都網(wǎng)絡安全日”系列宣傳活動暨北京國際互聯(lián)網(wǎng)科技博覽會在北京國家會議中心舉行。 發(fā)表于：5/8/2021 【429首都網(wǎng)絡安全日】賽寧網(wǎng)安亮相首都網(wǎng)絡安全日 4月28日-30日，2021北京國際互聯(lián)網(wǎng)科技博覽會暨第八屆首都網(wǎng)絡安全日在國家會議中心舉行。賽寧網(wǎng)安攜旗下四大靶場產(chǎn)品及兩項安全服務亮相網(wǎng)絡與信息安全博覽會，展示公司在網(wǎng)絡靶場的硬核實力。 發(fā)表于：5/7/2021 【429首都網(wǎng)絡安全日】安芯網(wǎng)盾亮相并發(fā)表精彩演講 第八屆“4.29首都網(wǎng)絡安全日”今日在國家會議中心開幕，安芯網(wǎng)盾亮相并在“產(chǎn)業(yè)互聯(lián)網(wǎng)下的網(wǎng)信安全論壇”發(fā)表精彩演講。該活動自興起以來，已經(jīng)走過了八個年頭，并逐步成為北京乃至全國范圍網(wǎng)絡安全行業(yè)的風向標。 發(fā)表于：5/7/2021 【429首都網(wǎng)絡安全日】實踐區(qū)塊鏈安全與數(shù)據(jù)保護 4月28日，在第八屆“4.29首都網(wǎng)絡安全日”同期，第五屆區(qū)塊鏈技術(shù)與應用-數(shù)字經(jīng)濟與區(qū)塊鏈安全論壇也火爆開場。長亭科技區(qū)塊鏈安全研究員于曉航受邀在分論壇演講，就實踐中區(qū)塊鏈核心系統(tǒng)正面臨的風險以及以公開透明著稱的區(qū)塊鏈如何做到數(shù)據(jù)隱私安全等話題，與參會人員進行了分享。 發(fā)表于：5/7/2021 ?…284285286287288289290291292293…?
