-
题名几种计算机网络互联设备的比较
- 1
-
-
作者
金顺福
-
机构
燕山大学信息学院计算机系
-
出处
《计算机工程与设计》
CSCD
2002年第4期57-59,共3页
-
文摘
分析了用于网络互联的各种中继系统：转发器、网桥、路由器和网关在网络体系结构中的工作层次、基本概念及主要功能，总结了它们各自的适用场合，最后提出了购置网络互联设备一个普遍遵循的原则。
-
关键词
计算机网络
转发器
网桥
路由器
网关
网络互联设备
-
Keywords
network internet, repeater
bridge
router
gateway
-
分类号
TP393.03
[自动化与计算机技术—计算机应用技术]
-
-
题名SSL协议的扩展Rubin逻辑形式化分析
被引量：2
- 2
-
-
作者
李秋山
胡游君
-
机构
燕山大学信息工程学院计算机系
-
出处
《计算机工程与设计》
CSCD
北大核心
2007年第16期3852-3855,3859,共5页
-
文摘
SSL协议是一个用于因特网上进行保密通信的实用安全协议,由于它的复杂性,很多形式化分析方法都不适合分析它[1]。而适用于分析非单调密码协议的Rubin逻辑,不同于大多数采用"知识"和"信念"的逻辑分析发现安全缺陷的逻辑分析方法,它完整地分析协议过程中的出现所有"动作",不但能清晰地看到SSL协议的不足,还可指出进一步完善SSL协议的方法。
-
关键词
安全协议
Rubm逻辑
SSL协议
形式化分析
非单调密码协议
-
Keywords
security protocol
Rubin logic
SSL protocol
formal analysis
nonmonotonic cryptographic protocol
-
分类号
TP393.04
[自动化与计算机技术—计算机应用技术]
-
-
题名数据链路层的流量和差错控制机制的分析
被引量：5
- 3
-
-
作者
金顺福
-
机构
燕山大学信息学院计算机系
-
出处
《计算机工程与设计》
CSCD
2002年第5期13-14,8,共3页
-
文摘
摘 要：分析了停止等待（Stop－and－Wait）ARQ及连续请求（Go－back－N）ARQ两种数据链路层的流量、差错控制机制，并用评价各种链路控制方案的主要参数之一对两种方案的性能做了定量的分析。
-
关键词
数据链路层
流量
差错控制机制
吞吐量
ARQ
计算机网络
-
Keywords
Keywords: throughput
data link
ARQ
protocol
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
