蔡家楣
- 作品数：78 被引量：400H指数：9
- 供职机构：浙江工业大学更多>>
- 发文基金：浙江省自然科学基金国家高技术研究发展计划国家自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信经济管理文化科学更多>>
- 基于Prolog的安全协议在线自动化分析
- 2008年
- 基于串空间理论和约束消减方法,提出安全协议可达性分析模型;采用Prolog实现模型自动推理,利用XSB的Java接口实现基于Web的自动分析工具。
- 陈铁明张杰蔡家楣
- 关键词：形式化串空间PROLOG
- 一种快速特征选择方法及其在入侵检测中的应用
- 网络入侵检测数据往往含有大量的不相关性或冗余性，使模型训练和检测需耗费大量计算。特征选择可去除不相关特征和冗余特征，在不降低模型正确性的同时提高检测效率。提出一种基于数据不一致率的快速特征选择方法，根据不同特征子集划分数...
- 陈铁明马继霞蔡家楣
- 关键词：网络安全入侵检测数据分类
- LWSSD:一种Web服务语义描述语言
- 2006年
- 服务描述是W eb服务的准确定位的关键问题之一,而目前的W eb服务描述语言W SDL存在语义不足、缺乏服务质量描述等问题。为了解决这些问题,提出一种W eb服务的语义描述语言LW SSD,它具有对W eb服务的语义描述能力而且能够描述W eb服务的质量指标,有效支持了W eb服务的准确定位。
- 任波范菁蔡家楣
- 关键词：语义服务质量DAML-S
- 无线电子商务中企业级CA设计被引量：3
- 2004年
- 分析了WAP和J2ME两种现有终端技术的安全性和优缺点,利用PKI/WPKI技术,提出了一个适合上述两种终端技术的企业级安全解决方案。介绍了方案的系统结构:主要包括CA,RA,证书库,PKI入口等部件。给出了用户注册,证书请求和生成,证书的发布等主要模块功能介绍以及基于两种终端技术的处理流程。重点对适合WAP的WTLS证书的处理给出了具体的数据结构类型和处理步骤。上述解决方案已基本实现,可应用到无线电子商务应用中。
- 江颉金凤蔡家楣
- 关键词：企业级证书库J2MEWAPWTLS无线电子商务
- 复合抽象数据类型结构化规约的形式语义及其模型
- 1998年
- 本文用构造型说明法讨论了满足结构化要求的各种复合抽象数据类型应具备的语义特性。然后讨论了基于类型理论的ECC扩展构造逻辑和函数式语言两种方式下的模型。
- 蔡家楣
- 关键词：抽象数据类型形式语义数据结构
- 基于元设计模式的构造型说明语义被引量：2
- 2004年
- 设计模式对于构建可复用的软件框架有重要意义。本文用构造型说明法讨论了满足结构化要求的各种元设计模式应具备的语义特性。提出了用构造型说明来描述基于元模式的模式规约的思想。
- 蔡家楣
- 关键词：设计模式元模式语义面向对象软件设计
- 在Informix上实现移动网管的联机分析处理被引量：2
- 2001年
- 联机分析处理(OLAP)用于对企业大量数据进行分析，以支持复杂查询和决策。分析比较了联机分析处理系统的两种不同的体系结构，介绍了基于Informix MetaCube的OLAP思想并给出了一个针对移动通信网络管理的基于数据仓库的OLAP实例。
- 连立贵张繁蔡家楣
- 关键词：联机分析处理INFORMIX移动通信网络管理数据库
- 神经网络密码学研究综述被引量：8
- 2007年
- 简述了传统密码学的重要性、研究现状和发展方向,针对神经网络密码学,归纳了该研究的几个主要方面:混沌神经网络密码学、神经网络可视密码学和神经网络密码协议,讨论了各个方面的研究类型、过程机理、影响因素、进展与现状,指出了目前研究中存在的关键问题和可能的改进方向。
- 蔡家楣刘多陈铁明
- 关键词：密码学人工神经网络混沌神经网络可视化
- 无线安全中间件的设计与应用被引量：1
- 2004年
- 本文提出了一个适应多种移动终端技术的无线安全中间件的设计方案。介绍了中间件的各部分内容、实现并将此中间件应用于无线电子商务中,具有一定的实践意义。
- 江颉蒋融融蔡家楣
- 关键词：无线电子商务无线公钥基础设施密码服务J2ME椭圆曲线加密算法
- JTang-Eclipse插件简介
- 2007年
- 利用Eclipse插件的可扩展机制开发了JTang-Eclipse插件。JTang-Eclipse插件是一个将JTang服务器集成到Eclipse上的工具,遵循Eclipse插件开发平台提供的框架,支持服务器生命周期管理,可以在JTang上部署J2EE archive包,并提供打包、部署描述符自动生成和JSP编译等辅助J2EE开发的功能。
- 蔡家楣易晓梅吴鹏
- 关键词：ECLIPSE插件J2EEPDEAPI
