搜索筛选:
搜索耗时2.7858秒,为你在为你在102,285,761篇论文里面共找到 49 篇相符的论文内容
发布年度:
[期刊论文] 作者：郭金庚,,
来源：信息工程大学学报 年份：2000
本报告综述了嵌入式实时系统当前的研究情况和特点 ,重点阐述了JAVA用于嵌入式实时系统开发的前景和课题 ,详细地分析了美国国家标准技术局提出的JAVA平台实时扩展需求报告 ,...
[期刊论文] 作者：郭金庚,
来源：信息工程学院学报 年份：1992
...
[期刊论文] 作者：郭金庚,
来源：信息工程学院学报 年份：1992
...
[期刊论文] 作者：张平,郭金庚,
来源：电脑开发与应用 年份：2003
语义网是对WWW的延伸,是在现有WWW基础架构上为网页扩展面向计算机的数据并增加专为计算机使用的文档,更利于人机间的合作和机器问的交互。为解决网上知识表示问题,特分析比...
[期刊论文] 作者：刘江林,郭金庚,
来源：小型微型计算机系统 年份：2000
本文介绍了一个扩展关系模型数据库系统ＥＲＤＢ和在该系统之上开发的一个ＧＩＳ系统，重点讨论了ＧＩＳ中的拓扑表示和递归查询问题，并从中说明这种扩展的重要意义。...
[期刊论文] 作者：Wirf.,RS,郭金庚,
来源：信息工程学院学报 年份：1991
...
[期刊论文] 作者：Wirf.,RJ,郭金庚,
来源：信息工程学院学报 年份：1991
...
[期刊论文] 作者：王惠芳, 郭金庚,,
来源：计算机工程 年份：2001
形式化分析密码协议渐渐成为密码学中一个发展的新方向,因为形式化方法的确能检测出密码协议中的漏洞.BAN逻辑是目前使用最广泛的.文章介绍了BAN逻辑和SSL3.0协议,并给出了用...
[期刊论文] 作者：费勤福,郭金庚,
来源：信息工程大学学报 年份：2000
分布技术和面向对象技术相结合形成的分布对象技术已经发展成为当今分布异构环境下建立应用系统集成框架和标准组件的核心技术.出现了以OMG的CORBA和Microsoft的COM/DCOM为代...
[期刊论文] 作者：费勤福,郭金庚,
来源：信息工程大学学报 年份：2001
分布计算技术和面向对象技术相结合而形成的分布对象技术已经发展成为当今分布异构环境下建立应用系统集成框架和标准构件的核心技术.OMG组织制定的CORBA标准与Microsoft的CO...
[期刊论文] 作者：周伟,尹青,郭金庚,
来源：小型微型计算机系统 年份：2005
研究动态系统的安全问题.针对动态系统运行时间配置的可变特性,引入了动态系统的进程代数模型和复杂动态系统概念,定义了动态系统的一致安全性质和一致同余安全性质.基于观察...
[期刊论文] 作者：尹青,周伟,郭金庚,
来源：信息工程大学学报 年份：2004
文章在安全进程代数理论框架内讨论信息流安全模型.基于进程代数语义理论,研究了无干扰性质及不可演绎性质的构造、关系及可复合性....
[期刊论文] 作者：周伟,尹青,郭金庚,
来源：计算机科学 年份：2005
与基于访问控制的形式安全模型相比,基于信息流的安全模型对于定义什么是安全来说更为本质.自提出信息流的无干扰概念以来,信息流模型成为安全研究的中心之一,并提出了多种无...
[期刊论文] 作者：尹青,周伟,郭金庚,,
来源：计算机科学 年份：2002
1.引言随着Internet的普及和商业化应用的增长,越来越多的应用需要多播服务,如大规模信息传播服务、实时视频会议、分布交互式模拟、协同工作等等.为了保护多播消息的内容,需...
[期刊论文] 作者：周伟,尹青,郭金庚,
来源：计算机工程与应用 年份：2002
IP多播安全是一些重要多播应用得以推广的基础。该文描述了一个多播安全体系结构及其策略框架、实现模型和分层协议组。在该文研究的基础上,为一类重要应用实现了安全基础结...
[期刊论文] 作者：周伟,尹青,郭金庚,
来源：信息工程大学学报 年份：2004
安全进程代数可以作为信息流安全的基础理论框架.本文引入了一种基于CCS的安全进程代数,描述了它的语义及等价模型....
[期刊论文] 作者：李明铎,郭金庚,赵昭灵,
来源：计算机工程与应用 年份：2004
转发处理引擎是高性能IPv6路由器的设计难点之一。在研究了并行处理技术、流水线设计理论以及TCAM技术的基础上，该文提出了一种并行超流水的转发处理引擎，模拟试验测试显示，该引......
[期刊论文] 作者：范红,冯登国,郭金庚,
来源：中国科学院研究生院学报 年份：2002
给出了应用于不同系统的不变式的概述,分析了彼此之间的关系,进行了分类,并探讨了其未来发展趋势.密码协议的形式化分析日渐引起人们的广泛关注.这导致了不变式生成与描述技...
[期刊论文] 作者：周晔,黄永忠,郭金庚,
来源：计算机应用研究 年份：2001
首先介绍了抽取面向对象语言的类信息的技术———BLAT(基于词法分析的抽取技术 ) ,并给出了该技术的语言实现 ,最后说明了该技术在可视化软件开发环境中的应用...
[期刊论文] 作者：刘江林,郭金庚,朱继红,
来源：小型微型计算机系统 年份：2000
本文介绍了一个扩展关系模型数据库系统 ERDB和在该系统之上开发的一个 GIS系统 .重点讨论了 GIS中的拓扑表示和递归查询问题 ,并从中说明这种扩展的重要意义 ....
相关搜索：
