安全服务严重和校验 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.
数学之美 （第二版）
吴军 / 人民邮电出版社 / 2014-11 / 49.00元
几年前，“数学之美”系列文章原刊载于谷歌黑板报，获得上百万次点击，得到读者高度评价。读者说，读了“数学之美”，才发现大学时学的数学知识，比如马尔可夫链、矩阵计算，甚至余弦函数原来都如此亲切，并且栩栩如生，才发现自然语言和信息处理这么有趣。 在纸本书的创作中，作者吴军博士几乎把所有文章都重写了一遍，为的是把高深的数学原理讲得更加通俗易懂，让非专业读者也能领略数学的魅力。读者通过具体的例子学到的......一起来看看 《数学之美 （第二版）》 这本书的介绍吧!
