庄超

作品数：2被引量：34H指数：2
导出分析报告
供职机构：国家智能计算机研究开发中心更多>>
发文主题：INTERNET网安全协议信息安全密码学版权保护技术更多>>
发文领域：自动化与计算机技术政治法律更多>>
发文期刊：《软件学报》《计算机工程》更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
网络内容安全分发与版权保护技术被引量：16
《计算机工程》2000年第6期50-52,共3页庄超 白硕 李国杰 
信息的传播从印刷媒体向电子媒体过渡。首先简要讨论了网络上知识产权保护的问题以及相关的重要的产品。同时比较了几种基本的技术。对网络上的知识产权保护的计算结构给出了一个整体上的概述。
关键词：INTERNET网 网络安全 版权保护 知识产权 
安全协议的验证逻辑被引量：18
《软件学报》2000年第2期213-221,共9页白硕 隋立颖 陈庆锋 付岩 庄超 
国家 8 6 3高科技项目基金! (No.86 3- 30 6 - ZD- 10 - 0 2 )资助
该文提出一种论证安全协议之安全性质的非单调动态逻辑 .针对信息安全的特定需要 ,给出了一组与加密、解密、签名、认证和密钥分配等密码学操作有关的公理和推理规则 ,举例说明了这一逻辑框架在验证安全协议方面的应用 ,并讨论了需要进...
关键词：信息安全 协议验证 INTERNET网 密码学 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部