[ 收藏 ] [ 繁体中文 ]  
臺灣貨到付款、ATM、超商、信用卡PAYPAL付款,4-7個工作日送達,999元臺幣免運費   在線留言 商品價格為新臺幣 
首頁 電影 連續劇 音樂 圖書 女裝 男裝 童裝 內衣 百貨家居 包包 女鞋 男鞋 童鞋 計算機周邊

商品搜索

 类 别:
 关键字:
    

商品分类

  •  管理

     一般管理学
     市场/营销
     会计
     金融/投资
     经管音像
     电子商务
     创业企业与企业家
     生产与运作管理
     商务沟通
     战略管理
     商业史传
     MBA
     管理信息系统
     工具书
     外文原版/影印版
     管理类职称考试
     WTO
     英文原版书-管理
  •  投资理财

     证券/股票
     投资指南
     理财技巧
     女性理财
     期货
     基金
     黄金投资
     外汇
     彩票
     保险
     购房置业
     纳税
     英文原版书-投资理财
  •  经济

     经济学理论
     经济通俗读物
     中国经济
     国际经济
     各部门经济
     经济史
     财政税收
     区域经济
     统计 审计
     贸易政策
     保险
     经济数学
     各流派经济学说
     经济法
     工具书
     通货膨胀
     财税外贸保险类考试
     英文原版书-经济
  •  社会科学

     语言文字
     社会学
     文化人类学/人口学
     新闻传播出版
     社会科学总论
     图书馆学/档案学
     经典名家作品集
     教育
     英文原版书-社会科学
  •  哲学

     哲学知识读物
     中国古代哲学
     世界哲学
     哲学与人生
     周易
     哲学理论
     伦理学
     哲学史
     美学
     中国近现代哲学
     逻辑学
     儒家
     道家
     思维科学
     马克思主义哲学
     经典作品及研究
     科学哲学
     教育哲学
     语言哲学
     比较哲学
  •  宗教

  •  心理学

  •  古籍

  •  文化

  •  历史

     历史普及读物
     中国史
     世界史
     文物考古
     史家名著
     历史地理
     史料典籍
     历史随笔
     逸闻野史
     地方史志
     史学理论
     民族史
     专业史
     英文原版书-历史
     口述史
  •  传记

  •  文学

  •  艺术

     摄影
     绘画
     小人书/连环画
     书法/篆刻
     艺术设计
     影视/媒体艺术
     音乐
     艺术理论
     收藏/鉴赏
     建筑艺术
     工艺美术
     世界各国艺术概况
     民间艺术
     雕塑
     戏剧艺术/舞台艺术
     艺术舞蹈
     艺术类考试
     人体艺术
     英文原版书-艺术
  •  青春文学

  •  文学

     中国现当代随笔
     文集
     中国古诗词
     外国随笔
     文学理论
     纪实文学
     文学评论与鉴赏
     中国现当代诗歌
     外国诗歌
     名家作品
     民间文学
     戏剧
     中国古代随笔
     文学类考试
     英文原版书-文学
  •  法律

     小说
     世界名著
     作品集
     中国古典小说
     四大名著
     中国当代小说
     外国小说
     科幻小说
     侦探/悬疑/推理
     情感
     魔幻小说
     社会
     武侠
     惊悚/恐怖
     历史
     影视小说
     官场小说
     职场小说
     中国近现代小说
     财经
     军事
  •  童书

  •  成功/励志

  •  政治

  •  军事

  •  科普读物

  •  计算机/网络

     程序设计
     移动开发
     人工智能
     办公软件
     数据库
     操作系统/系统开发
     网络与数据通信
     CAD CAM CAE
     计算机理论
     行业软件及应用
     项目管理 IT人文
     计算机考试认证
     图形处理 图形图像多媒体
     信息安全
     硬件
     项目管理IT人文
     网络与数据通信
     软件工程
     家庭与办公室用书
  •  建筑

  •  医学

     中医
     内科学
     其他临床医学
     外科学
     药学
     医技学
     妇产科学
     临床医学理论
     护理学
     基础医学
     预防医学/卫生学
     儿科学
     医学/药学考试
     医院管理
     其他医学读物
     医学工具书
  •  自然科学

     数学
     生物科学
     物理学
     天文学
     地球科学
     力学
     科技史
     化学
     总论
     自然科学类考试
     英文原版书-自然科学
  •  工业技术

     环境科学
     电子通信
     机械/仪表工业
     汽车与交通运输
     电工技术
     轻工业/手工业
     化学工业
     能源与动力工程
     航空/航天
     水利工程
     金属学与金属工艺
     一般工业技术
     原子能技术
     安全科学
     冶金工业
     矿业工程
     工具书/标准
     石油/天然气工业
     原版书
     武器工业
     英文原版书-工业技
  •  农业/林业

  •  外语

  •  考试

  •  教材

  •  工具书

  •  中小学用书

  •  中小学教科书

  •  动漫/幽默

  •  烹饪/美食

  •  时尚/美妆

  •  旅游/地图

  •  家庭/家居

  •  亲子/家教

  •  两性关系

  •  育儿/早教

     保健/养生
     体育/运动
     手工/DIY
     休闲/爱好
     英文原版书
     港台图书
     研究生
     工学
     公共课
     经济管理
     理学
     农学
     文法类
     医学
  • 安全協議形式化分析與驗證 肖美華 著 物理學專業科技 新華書店正
    該商品所屬分類:其他分類 -> 圖書新品
    【市場價】
    948-1376
    【優惠價】
    593-860
    【作者】 肖美華 
    【出版社】科學出版社 
    【ISBN】9787030626332
    【折扣說明】一次購物滿999元台幣免運費+贈品
    一次購物滿2000元台幣95折+免運費+贈品
    一次購物滿3000元台幣92折+免運費+贈品
    一次購物滿4000元台幣88折+免運費+贈品
    【本期贈品】①優質無紡布環保袋,做工棒!②品牌簽字筆 ③品牌手帕紙巾
    版本正版全新電子版PDF檔
    您已选择: 正版全新
    溫馨提示:如果有多種選項,請先選擇再點擊加入購物車。
    *. 電子圖書價格是0.69折,例如了得網價格是100元,電子書pdf的價格則是69元。
    *. 購買電子書不支持貨到付款,購買時選擇atm或者超商、PayPal付款。付款後1-24小時內通過郵件傳輸給您。
    *. 如果收到的電子書不滿意,可以聯絡我們退款。謝謝。
    內容介紹



    ISBN編號:9787030626332
    書名:安全協議形式化分析與驗證 安全協議形式化分析與驗證
    作者:肖美華

    代碼:109
    是否是套裝:否
    出版社名稱:科學出版社


        
        
    "

    安全協議形式化分析與驗證

    作  者: 肖美華 著
    size="731x8"
    定  價: 109
    size="731x8"
    出?版?社: 科學出版社
    size="731x8"
    出版日期: 2019年11月01日
    size="731x8"
    頁  數: 160
    size="731x8"
    裝  幀: 平裝
    size="731x8"
    ISBN: 9787030626332
    size="731x8"
    目錄
    ●前言
    章 緒論
    1.1 安全協議形式化分析背景
    1.2 安全協議形式化分析研究現狀
    參考文獻
    第2章 形式化方法基本理論
    2.1 形式化方法概述
    2.2 模態邏輯
    2.2.1 BAN邏輯
    2.2.2 BAN類邏輯
    2.2.3 Kailar邏輯
    2.3 模型檢測
    2.3.1 FDR
    2.3.2 NRL協議分析器
    2.3.3 Murφ
    2.3.4 SPIN
    2.4 定理證明
    2.4.1 Paulson歸納法
    2.4.2 串空間模型
    2.4.3 Spi演算證明方法
    2.4.4 PCL證明方法
    2.4.5 事件邏輯證明方法
    2.5 比較與分析
    參考文獻
    第3章 安全協議
    3.1 安全協議概念
    3.2 安全協議分類
    3.2.1 ISO/IEC 11770-2密鑰建立機制6協議
    3.2.2 NSSK協議
    3.2.3 Kerberos認證協議
    3.2.4 ISO/IEC 9798-3協議
    3.2.5 NSPK協議
    3.3 協議安全屬性
    3.4 協議安全構建方法
    3.4.1 Hash函數
    3.4.2 隨機數
    3.4.3 時間戳
    3.5 協議攻擊者模型及其攻擊類型
    3.5.1 Dolev-Yao攻擊者模型
    3.5.2 攻擊類型
    參考文獻
    第4章 基於模型檢測的安全協議分析
    4.1 安全協議形式化表示
    4.1.1 原子消息(基本約定)
    4.1.2 消息
    4.1.3 動作
    4.1.4 協議
    4.1.5 跡
    4.2 消息生成規則
    4.3 基於算法知識邏輯的協議形式化分析
    4.3.1 多智體繫統
    4.3.2 算法知識邏輯
    4.3.3 算法知識邏輯分析協議
    4.4 時態邏輯
    4.4.1 Kripke結構
    4.4.2 CTL*、CTL和LTL
    4.4.3 並發繫統性質描述
    4.4.4 實例
    4.5 形式化分析流程
    4.5.1 形式化建模
    4.5.2 協議安全性質刻畫
    4.5.3 形式化驗證
    4.6 驗證模型優化策略
    4.6.1 靜態分析
    4.6.2 語法重定序
    4.6.3 偏序歸約
    4.6.4 優化策略對比
    4.7 與其他方法對比
    4.7.1 與認證邏輯對比
    4.7.2 與FDR對比
    4.7.3 與Murφ對比
    4.7.4 與NRL協議分析器對比
    4.7.5 與Athena對比
    4.7.6 與Isabelle對比
    4.7.7 與BRUTUS對比
    參考文獻
    第5章 網絡安全協議驗證模型生成繫統
    5.1 繫統概述
    5.1.1 繫統簡介
    5.1.2 繫統功能
    5.2 繫統設計與實現
    5.2.1 整體設計
    5.2.2 模塊設計
    5.2.3 協議描述語言ProDL
    5.2.4 Needham-Schroeder公開密鑰協議分析與驗證
    5.2.5 BAN-Yahalom三方對稱密鑰認證協議分析與驗證
    5.2.6 CMP1可信第三方電子商務協議分析與驗證
    參考文獻
    第6章 基於事件邏輯的安全協議形式化分析
    6.1 事件繫統
    6.1.1 符號說明
    6.1.2 消息自動機
    6.1.3 語法語義
    6.1.4 不可猜測的原子
    6.1.5 事件結構
    6.1.6 事件類
    6.2 事件邏輯公理、推論及性質
    6.2.1 事件邏輯公理
    6.2.2 事件邏輯推論及性質
    6.3 事件邏輯形式化描述協議
    6.4 基於事件邏輯的安全協議證明
    6.4.1 推理規則
    6.4.2 兩方安全協議證明流程
    6.4.3 三方安全協議證明流程
    6.5 與其他典型證明方法對比
    6.5.1 PCL
    6.5.2 BAN類邏輯
    6.5.3 串空間理論
    參考文獻
    第7章 總結與展望
    7.1 研究成果總結
    7.2 下一步研究工作
    內容虛線

    內容簡介

    size="789x11"

    《安全協議形式化分析與驗證》是作者多年從事安全協議形式化分析與驗證相關科研工作的總結,主要對兩種形式化方法做了歸納:基於SPIN工具的模型檢測和事件邏輯。
    《安全協議形式化分析與驗證》主要內容如下:介紹了安全協議形式化分析的研究現狀、主要技術流派,以及協議描述語言ProDL,闡述了基於算法知識邏輯的網絡安全協議模型檢測分析方法,用於顯式地刻畫入侵者模型能力;在網絡安全協議驗證模型生成繫統中,采用偏序歸約、語法重定序以及靜態分析等優化策略,有效緩解模型檢測過程中狀態爆炸問題;對事件邏輯進行擴展,提出一繫列規則,對安全協議進行形式化描述,無需顯性刻畫入侵者模型,隻需分析協議動作之間的匹配順序關繫即可對協議的安全性進行證明。

    "
     
    網友評論  我們期待著您對此商品發表評論
     
    相關商品
    在線留言 商品價格為新臺幣
    關於我們 送貨時間 安全付款 會員登入 加入會員 我的帳戶 網站聯盟
    DVD 連續劇 Copyright © 2024, Digital 了得網 Co., Ltd.
    返回頂部