西安交通大学成果介绍.doc

西安交通大学部分获奖成果 异构无线网络安全技术及应用本项目属于无线通信及信息安全技术领域。紧密围绕国家的重大应用需求，结合异构无线网络安全中的主要技术难题，展开了深入、系统的研究，了一批具有自主知识产权的关键技术。 主要内容： （1）针对多种安全认证机制并存的问题，提出了可扩展的安全体系架构，发明了基于网络层的集成身份认证方法，为用户自适应接入不同网络给出了有效的解决方案； （2）针对异构网络的安全互联互通问题，提出了端到端的认证加密参考结构，发明了端到端的身份认证和加密方法，有效防止了身份泄漏和用户伪装，保证传输信息的机密性和完整性； （3）针对终端和系统安全策略不统一的现实，发明了基于关联响应的实时安全自动更新方法和分等级的安全业务提供方法，解决终端与网络的安全策略不一致而导致病毒、蠕虫快速扩散的问题，保证安全业务提供质量； （4）将密钥分发协议和身份认证方法相结合，提出跨平台认证的分层分布式密钥管理方案，基于双重加密思想，发明了具有认证功能的密钥安全分发方法，实现跨安全域的认证和密钥分配，保证真实通信双方安全共享会话密钥； （5）结合多媒体业务对终端在漫游切换过程中的安全性和实时性需求，采用预认证和可证明安全的原理，发明了安全高效的终端漫游切换方法，达到了多媒体业务技术规范的要求。 基于网络层的集成安全体系架构可扩展性强，集成了多种认证机制，实现了用户的多模身份认证。密钥安全分发、身份认证、漫游切换等方案达到了可证明安全的强度。无线环境中，移动终端安全切换时延低于50毫秒，满足移动多媒体业务需求。 本项目多项成果填补了技术空白，经济和社会效益显著，累计授权技术发明专利43项，其中美国技术发明专利2项、欧洲技术发明专利7项、中国技术发明专利34项。采用本发明制定了国际ITU标准两项(ITU-T X.1124和ITU-T X.1125)。结合研究工作发表高水平学术论文135篇，其中SCI检索论文30篇，出版高水平著作7部(章)，同时开发了相关的安全系统，登记软件著作权4件。基于Petri网的自动制造系统死锁分析与控制研究近二十多年来，随着自动化和计算机技术的发展，柔性制造和灵捷制造等先进生产模式被普遍应用。自动制造系统中的死锁和阻塞往往会引起灾难性的果，而不是单纯降低生产率的问题。例如，半导体制造中晶片在Chamber内的延时停留会造成晶片的报废，进而造成整个系统产品的报废。因此关于死锁问题的研究受到了广泛的关注。图论，自动机和Petri网理论是研究资源分配系统死锁问题的主要工具，其中以Petri网方法最为普遍。Petri网的信标是死锁分析和控制的重要基础。然而，传统的基于信标的死锁控制方法有计算复杂性，结构复杂性和行为许可性等问题。本项目基于Petri网的基本信标理论，研究高度资源共享、高度自动化的自动制造系统的Petri网控制器的设计问题，力求解决传统信标方法所带来的以上三个问题：即计算复杂性，Petri网控制器的结构复杂性以及控制器许可行为的受限性。本项目的研究在自动制造系统活性Petri网控制器的结构复杂性、行为许可性和计算复杂性等方面取得了系统的突破，在国际上产生了较大的影响力和国际同行的广泛认可。 本课题研究的最重要的创新点及成果有：（1）给定一个Petri网(普通网或者一般网generalized Petri nets)，其基本信标的数量小于库所和变迁数量的最小值，对于这个结论给予了形式化的证明。（2）给出了普通网中基本信标和从属信标的控制方法，研究结果表明，从属信标的控制可由基本信标的控制来实现。控制基本信标时，为每一个基本信标设计一个控制深度变量。通过求解线性规划问题，确定一组控制深度变量，使得所有从属信标都是可控的。（3）证明了通过显式地控制基本信标从而达到所有信标可控的目的。也就是说，对每个基本信标添加一个控制库所，就可以达到所有信标受控的目的。因此添加库所的数量在理论上小于等于库所和变迁的最小值，而在此之前，人们认为对于一个Petri网控制器，添加库所的数量和网的规模是成指数关系的。（4）提出了多种死锁预防策略，这些策略发表在本领域的知名国际期刊上。跳频突发通信传输技术与应用跳频突发通信传输技术与应用源于国家基础研究计划和合作开发项目，在理论上和应用上取得了突破性的进展和丰富的研究成果，实现了从理论创新、技术开发一直到实际应用的完整转化，是一项将理论研究成果直接应用并获得显著社会效益和经济效益的优秀科研成果。本课题突破现有的跳频序列理论局限，将密码学的分组思想引入到序列设计中，提出了基于分组密码的跳频序列族产生理论，解决了现有序列综合性能指标不均衡等问题；构建了跳频码分多址组网模型，得出了组网性能结论，为跳频组网的大规模应用提供了理论依据；针对现有