安全服务严重和校验 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.
Python算法教程
[挪威] Magnus Lie Hetland 赫特兰 / 凌杰、陆禹淳、顾俊 / 人民邮电出版社 / 2016-1-1 / 69.00元
本书用Python语言来讲解算法的分析和设计。本书主要关注经典的算法，但同时会为读者理解基本算法问题和解决问题打下很好的基础。全书共11章。分别介绍了树、图、计数问题、归纳递归、遍历、分解合并、贪心算法、复杂依赖、Dijkstra算法、匹配切割问题以及困难问题及其稀释等内容。本书在每一章结束的时候均有练习题和参考资料，这为读者的自我检查以及进一步学习提供了较多的便利。在全书的最后，给出了练习题的提......一起来看看 《Python算法教程》 这本书的介绍吧!
