安全服务严重和校验 Aniketos-SSVV
- 授权协议: BSD
- 开发语言: Java
- 操作系统: 跨平台
- 软件首页: http://www.aniketos.eu/
软件介绍
Aniketos-SSVV (Aniketos 安全服务严重和校验) 提供一系列的模块用来验证 Web 服务祝贺的安全属性。
The package is given a selection of service compositions (provided in the form of BPMN processes with Web services bound to the service tasks), along with the security policy to be fulfilled. The package then performs various checks on the services to establish whether each composition satisfies the policy, returning an ordered list (ordered in terms of security) of the services that do. It forms part of the larger Aniketos project comprised of four packages in total.
算法：C语言实现
塞奇威克 / 机械工业出版社 / 2006-9 / 69.00元
本书是Sedgewick彻底修订和重写的C算法系列的第一本。全书分为四部分，共16章，第一部分“基础知识”（第1-2章）介绍基本算法分析原理。第二部分“数据结构”（第3-5章）讲解算法分析中必须掌握的数据结构知识，主要包括基本数据结构，抽象数据结构，递归和树。一起来看看 《算法：C语言实现》 这本书的介绍吧!
