安全嵌入式系統的設計技巧.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
輝煌之地 幸福之源 ? ? ——“香巴拉”中國第一家裝門戶網站 ? 家是心靈的歸宿、幸福的天堂;裝飾一個夢想中的家已成為越來越多人執著的追求。那么,請到“香巴拉”來,體驗我們全面、權威、專業、多元的一站式家裝服務。唯有“香巴拉”家裝不可復制的天成之美,可為您造一方理想的圣地。 “香巴拉”家裝網站作為成熟的行業代言品牌,突破性地實現:全面反映行業發展動態;超大容量再現企業、產品信息;以客戶需求為導向建立龐大的服務體系;追求實現包括企業和消費者在內的目標用戶最高實用價值;服務功能的創新性、權威性直接積極地引導市場,從而成為中國家裝業第一門戶。 “香巴拉”凝聚250多位美居專家、800多家大型裝修公司、3000多個知名家裝建材品牌以及超過200000種的精選優質家裝建材產品的智慧和支持,打造承載“全程家裝產業鏈”的網絡互動平臺,給予每個家庭無所不在的幫助。 “香巴拉”同時超越了傳統家裝網站,從單純的信息集散地變為家裝行業供求狀況的晴雨表,全面把握行情風尚的主窗口;匯聚所有參與、關注、熱愛家裝事業的朋友,成為“家裝人”棲居的樂園。
標簽: 家 門戶 網站 裝飾
上傳時間: 2014-01-13
上傳用戶:asdkin
計算機安全的電子書,教科書
標簽: 計算機安全 電子書
上傳用戶:x4587
kis 7 key卡巴斯基7網絡安全套裝的KEY
標簽: kis key KEY 卡巴斯基
上傳時間: 2016-07-07
上傳用戶:xymbian
網絡安全紅寶書,中國鷹派成員專用教程,讓你輕松成為黑客
標簽: 網絡安全 教程 黑客
上傳時間: 2013-12-25
上傳用戶:363186
著信息安全技術的發展,一種跨平臺的、可進行遠程控制的、通用的、支持嵌入式平臺的安全網關控制系統必不可少。本文就是在這種背景下提出了關于跨平臺嵌入式安全網關控制系統的方案。以控制代碼的跨平臺為設計目標,實現其在不同底層嵌入式控制模塊上的實時運行,通過主控機與運行在各網關的虛擬機系統進行控制信息的交互,完成安全網關和安全策略的統一化控制和實施。
標簽: 信息安全 發展
上傳時間: 2013-12-23
上傳用戶:luke5347
蟲蟲下載站版權所有 京ICP備2021023401號-1