信息安全专题讲座课件

信息安全专题讲座

信息安全专题讲座

一、美军情况二、安全技术

一、美军情况1、计划与进展

规划：C4I2SR，标志着美军进入互联网时代计算机网：C3I（星状，格状）互联网：C4I2SR（格状）；进展：93-96年，2万600个分步开放一、美军情况

2、网络发展计算机网到互联网封闭网到开放网集团通信到个人通信有中心网到无中心网

3、互联网课题美军认为：军事工作已离不开互联网，提倡使用，同时提出研究课题研究课题：防火墙网络警察源地址跟踪

4、美国防部观念变化标准制定商品化重复建设vulnerability:漏洞信息安全专题讲座课件二、安全技术密码算法

认证逻辑密钥管理保护技术二、安全技术1、密码算法

目的：将秘密信息改成公开信息授权控制；算法：对称算法，技术饱和公钥算法，RSADH,ELGAMELECC用途：数据加密部分认证构建VPN

1、密码算法RSA体制

建立在IFP（integerfactorizationproblemm）上。作业参数：私钥：SK=D；公钥：PK=E；T={N}；加密（验证）：AEmodN=C；脱密（签名）：CDmodN=A；因为N=pq，而p、q是素数，所以E*D=1mod(p-1)(q-1)RSA体制D-H体制

建立在DLP(discretelogarithmproblem)上。参数：T={g,p}(p是素数)私钥：ab公钥：gamodp=KA；gbmodp=KB在A方：(gb)amodp=gbamodp=key在B方：(ga)bmodp=gabmodp=key在C方：

(ga)(gb)

=ga+b keyD-H体制ECC体制

ECC是基于ECDLP(ellipticcurvediscretelogaritmproblem)的密码体制。设Fq上椭圆曲线E:y2=x3+ax+bmodp参数：T={a,b,G=(x,y),n,p}私钥：K公钥：KG应用：可以模拟所有DLP体制的密码。ECC体制三种体制比较

参数公钥私钥IFPRSA----10881024DLPDSA22081024160ECDLPECDSP481161160三种体制比较2、认证逻辑：

信任逻辑：注册性共有性唯一性一体性主从性相信逻辑：BAN逻辑NRL逻辑

信息安全专题讲座课件生物特征

主要用于实体认证

指纹(4K)视网膜(2K)虹膜(256B)面部特征与语音特征(16K)生物特征BAN逻辑1、解读性规则（meaningofmessage)

K如果P‖QP,P┥{X}K（相信）（共有）（能读）那么P‖Q┣X（相信）（所做）

ifPBELIEVESPANDQSHAREDKEYKTHENPBELIEVESTHATQONCEWROTEX

信息安全专题讲座课件当次性规则2、当次性规则(ruleofnonce)

如果P‖#(X),P‖Q┣X那么P‖Q‖X

IFPBELIEVESXISNEWANDPBELIEVESQONCEWROTEXTHENPBELIEVESTHATQBELIEVESX信息安全专题讲座课件管辖性规则3、管辖性规则(jurisdiction)如果P‖Q⇨X，P‖Q‖X那么P‖X

IFPBELIEVESTHATQHASJURISDICTIONOVERXANDPBELIEVESTHATQBELIEVESXTHENPBEKIEVESX信息安全专题讲座课件两种逻辑

1）信任链2）相信链（证明链）3）协议分析两种逻辑信任链信任建立：“合同”“注册”信任转移：不是安全控制机制；转移结果：A公司的证件由B公司签发；权利转移结果是失去权利；信任转移结果是失去信任关系；信任链相信链1）相信逻辑能否推导信任结果？2）零知识证明；a)相信逻辑欲推导信任结果；b)没有信任关系，推导相信结果；3）信任结果是可否；如：访问权相信结果是是否；如：到商店买东西银行支票流通相信链协议评估1）零知识证明：相信逻辑；2）kerberos:kerberos----client:信任逻辑；TGS----client:相信逻辑；Server----client:相信逻辑；3）CA：相信逻辑；协议评估KERBEROSKERBEROSCLIENTSERVERTGS第三方信任逻辑相信逻辑相信逻辑KERBEROSKERBEROSCA证明链CACA1CA2CA11CA12CA21CA22个人证书个人证书个人证书个人证书（PKI）CA11，（PKCA11）CA1，（PKCA1）CA（PKJ）CA21，（PKCA21）CA2，（PKCA2）CAijCA证明链CACA1CA2CASchnneier评语：一个可信人给某人的公钥签名就成了公钥证书。这个可信人就是证明机构（certificationauthority).有一种非密码的复杂问题困扰这类系统。证明的含义是什么，谁受到信任，给谁发证书？任何人都可以给任何其他人的证书签名。通常，一个证明链（certificationchain)是信任转移的：一个可信实体证明很多可信代理，可信代理证明很多可信公司的CA，各公司的CA证明各自的雇员。-----证书中的个人身份有多大可信度？-----一个人和给他发证书的CA之间是什么关系？-----谁能作为最顶上的“唯一可信实体”？-----证明链到底多长？-----对CA来说作废证书的保留是至关重要的，但仍是一个难题。Schnneier评语：支付逻辑顾客受理行商场发行行建立信任相信逻辑信任逻辑相信逻辑信任逻辑信任逻辑支付逻辑顾客受理行商场发行3、密钥管理：

基本概念重要性：逻辑隔离技术之一重要的认证参数两种体制：KDC,CDCCA,PGP密钥分级：三级：对数据加密的密钥二级：对三级密钥加密的密钥一级：对二级密钥保护的密钥信息安全专题讲座课件密钥使用举例HASH（DATA）=MAC;(MAC)DA=SIGNERAN1（DATA//SIGN）=CODEEKA-B(RAN1)=RAN2发送：（RAN2，CODE）密钥使用举例密钥管理的主要内容密钥生产：个人，无边界，无中心CA统一，有边界，有中心KDC密钥分发：动态，KDC,CA静态，KDC密钥存储：专用媒体(KDC)分散存储(PGP)公用媒体(KDC,CA)密钥管理的主要内容静态分发：单层星状配置

中心K1K2K3KnT2,K2T3,K3TN,KnT1,K1静态分发：单层星状配置

中心T2,静态分发：网状配置CBDAKA-B

KA-C

KA-DKC-A

KC-B

KC-DKD-A

KD-B

KD-CKB-A

KB-C

KB-D静态分发：网状配置CBDAKA-B

KA-C

KA-DKC-动态分发：KDC，拉方式分发协议：1)a→c：request//n1;2)c→a：EKA(KS//request//n1//EKB(KS,IDA))3)a→b：EKB(KS,IDA)这样a,b双方都有相同的密钥KS。验证协议：4)b→a：EKS(N2)5)a→b：EKS(fN2),其中f是简单函数，是加1等简单变换。动态分发：KDC，拉方式KDCBBKDCBB

动态分发：KDC，推方式分发协议：1）a→b：a,EKA(EMa);2)b→c：EKA(EMa)

3）c→b：EKB(KS,a,EMb),EKA(KS,b,EMa)4）b→a：EKA(KS,b,EMa)动态分发：KDC，推方式KDCABKDCABCA动态分发，CAU1,SK1U2,SK2证书作废系统Pk1(Pk1)ca(Pk2)caPk2CA动态分发，CAU1,SK1U2,SK2证书作废系统PCA特点

１．开放环境中研究，采用公开技术；２．密钥由个人生产，无边界，无中心；３．安全责任由个人承担；４．排斥政府干预；５．密钥变量必须公开；６．密钥动态分发，需要密钥传递协议支持；７．密钥变更方便，但需要证书作废系统支持；８．需要解决公共媒体的安全；9．理论基础是相信逻辑