安全嵌入式系統的設計技巧.pdf The Use of Formal Methods
標簽： Methods Formal The
上傳時間： 2014-01-25
上傳用戶：梧桐
本目錄下存放了演示web應用安全技術的例程序，具體用法如下： 1.attack目錄是演示JSP安全性漏洞及對策的web應用程序，可以直接部署到應用服務器并運行。 2.security目錄下存放演示保護web資源的例程序，tomcat子目錄下存放可以在tomcat下運行的web應用程序（security目錄）及在 tomcat下配置安全域的配置文件樣例（配置文件目錄）， weblogic子目錄存放可以在weblogic下運行的web應用程序。
標簽： web 目錄 安全技術 程序
上傳時間： 2014-01-17
上傳用戶：lyy1234
MiniCA.rar基本實現了數字證書的制作、SSL安全通訊、加解密操作等功能
標簽： MiniCA SSL 數字
上傳時間： 2013-12-16
上傳用戶：thuyenvinh
有關信息安全的一篇論文，對于學習信息安全有幫助．
標簽： 信息安全 論文
上傳時間： 2013-12-01
上傳用戶：himbly
電動自行車通用技術條件,GB117761-1999,本標準的技術內容包括整車的主要技術性能要求,整車的安全要求,整車的裝配要求,整車的外觀要求,整車道路行駛要求和說明書的要求
標簽： 117761 1999 GB 電動自行車
上傳時間： 2016-07-03
上傳用戶：czl10052678
計算機安全的電子書，教科書
標簽： 計算機安全 電子書
上傳用戶：x4587
kis 7 key卡巴斯基7網絡安全套裝的KEY
標簽： kis key KEY 卡巴斯基
上傳時間： 2016-07-07
上傳用戶：xymbian
網絡安全紅寶書,中國鷹派成員專用教程,讓你輕松成為黑客
標簽： 網絡安全 教程 黑客
上傳時間： 2013-12-25
上傳用戶：363186
著信息安全技術的發展，一種跨平臺的、可進行遠程控制的、通用的、支持嵌入式平臺的安全網關控制系統必不可少。本文就是在這種背景下提出了關于跨平臺嵌入式安全網關控制系統的方案。以控制代碼的跨平臺為設計目標，實現其在不同底層嵌入式控制模塊上的實時運行，通過主控機與運行在各網關的虛擬機系統進行控制信息的交互，完成安全網關和安全策略的統一化控制和實施。
標簽： 信息安全 發展
上傳時間： 2013-12-23
上傳用戶：luke5347
數據安全專家(BSE)開源發布
標簽： BSE 數據安全 家 發布
上傳時間： 2013-11-29
上傳用戶：zsjzc
蟲蟲下載站版權所有 京ICP備2021023401號-1
