杨培根
- 作品数：16 被引量：26H指数：3
- 供职机构：南京大学更多>>
- 发文基金：国家重点实验室开放基金“九五”国家科技攻关计划更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 基于ESTELLE的人具界面语言TIL
- 1997年
- 随着形式描述技术ＦＤＴ的日趋成熟，有必要开发一种真正意义上的集成化协议开发工具集，本文引入面向对象模型，提出了一种基ＥＳＴＥＬＬＥ的工具界面语言ＴＩＬ，使得在工具集中，各工具的内数数据表示式相同，并且输入／输出兼容，从而提高了软件的并行性可移性。
- 丁晋杨培根
- 关键词：ESTELLE面向对象通信协议
- 一种基于主动网络技术的电信网络管理模型
- 1999年
- 介绍了TMN的基本概念．从技术的角度探讨了TMN的体系结构，并指出了现行TMN的不足之处。最后提出了一种基于主动网络技术的电信网络管理模型-ATMN。
- 袁俊何丹杨培根
- 关键词：电信管理网络网络管理主动网络
- CPSL：一种通信协议规格说明语言及其支撑系统
- 1994年
- ＣＰＳＬ（ＣｏｍｍｕｎｉｃａｔｉｏｎＰｒｏｔｏｃｏｌＳｐｅｃｉｆｉｃａｔｉｏｎＬａｎｇｕａｇｅ）是一种精确描述通信协议需求的形式规格说明语言．本文简述了ＣＰＳＬ的设计及其支撑系统的开发，并和其它类似语言作了比较．
- 杨培根李楠周建强
- 关键词：通信协议规格说明语言计算机网络
- 一个解决分布式内核中状态不一致性的方法
- 1990年
- 本文着重介绍分布式操作系统内核NDOS的进程通信机制中,检测和处理由于进程死亡、机器或网络故障以及进程迁移所引起的系统状态不一致性问题的方法。为了能够既满足高层系统的可靠性要求,同时又保持分布式操作系统内核的简洁性和有效性,我们把内核的进程通信设施进一步分为两层。对状态不一致性的检查和处理的机制利用了事件计数(eventcount)的概念及其有关操作。
- 薛行孙钟秀杨培根周建强徐希豪
- 关键词：分布式操作系统内核计算机
- TCS:TCP协议一致性测试系统的设计和实现被引量：5
- 1998年
- 本文阐述了一个对TCP协议进行一致性测试的测试系统的设计和实现．着重介绍了该系统的测试方法和系统结构，并分析了基于EFSM模型的一致性测试集的生成技术．
- 张有弢杨培根谢立
- 关键词：TCP/IP协议计算机网络
- CONET V2.0 ATM网络互连机制
- 1999年
- ＡＴＭ是一种较新的网络技术，它使得高速的语音、图像、数据等多媒体信息传输成为可能。与各种现有的网络互连是ＡＴＭ得以普及应用的关键。本文首先提出ＡＴＭ网络互连中需要解决的问题，然后介绍了国内网络系统ＣＯＮＥＴＶ２．０的ＡＴＭ网络互连机制，并给出了实现中的一些关键算法。
- 袁俊杨培根
- 关键词：网络互连ATM计算机网络
- 基于Windows Sockets 2的应用层透明防火墙设计与实现被引量：11
- 2000年
- 微软Ｗｉｎｄｏｗｓ Ｓｏｃｋｅｔｓ ２体系结构的目标是提供一个协议无关的接口以同时访问不同的传输层服务．以ＳＳＬ协议为例介绍在该体系结构下实现面向应用层程序透明的防火墙系统．
- 干国华陈昕鑫杨培根
- 关键词：防火墙
- 帧中继网络环境下的安全性服务的设计和实现
- 2000年
- 就目前存在于网络通信中的安全威胁，讨论了如何在面向连接的帧中继网络环境中实现可靠的双方通信，并给出了一个建立安全ＳＶＣ的实现细节。
- 陈昕鑫干国华杨培根
- 关键词：帧中继网络网络通信INTERNET网
- 通信协议验证的可达性分析方法及其自动化被引量：1
- 1992年
- 本文论述了通信协议可达性分析验证的基本概念、方法和技术.并通过作者开发的一个可达性分析自动化系统实例,讨论了自动系统的构造原理、状态扩展的算法以及避免"状态空间爆炸"的若干技术.
- 李楠杨培根
- 关键词：通信协议可达性分析自动化
- 安全技术面面观被引量：1
- 1999年
- 随着政府上网、电子商务、金融电子化等不断推进,网络应用越来越广泛,网络安全问题更显重要。目前网络安全产品主要来自国外,这对国家安全是个潜在威胁,因此我们必须加大网络安全技术的研制和投入,开发出适合我国国情的更多、更安全的网络产品,为国家信息化进程提供强有力的守护神。
- 金志权杨培根
- 关键词：防火墙安全技术IPSECIP包内部网INTERNE
