pat是新加坡国立开发的工具，需要的去官网下http://www.comp.nus.edu.sg/~pat/，学了一天，是个不错的自动机验证工具，感觉还不错啊。验证一个数是否为斐波那契数且为质数方法先验证是否为斐波那契数，然后再判断质数代码/*验证是否为 斐波那契数且是质数*/#define go....
分类：
编程语言 时间：
2015-01-15 07:01:30
阅读次数：
270
0x00 背景今天看到zone里有同学发帖说了探测支付宝登录状态的帖子：http://zone.wooyun.org/content/17665由此我想到了我们parsec的@/fd 半年前提到的一个思路，当时他给出了一个探测twitter是否登录的页面，可是我那个时候才疏学浅，好像一直没理解。这时...
分类：
Web程序 时间：
2015-01-04 18:45:39
阅读次数：
264
1、要制定标准，并不断完善-- 没有铁的纪律，战场就行得不远。标准添加sp: eSP_cbenefit_add标准检查sp: cSP_cbenefit_check标准取消sp: cSP_cbenefit_cancel标准执行sp: cSP_cbenefit_start2、友好生效日期不能为空！这很不...
分类：
其他好文 时间：
2015-01-01 14:48:43
阅读次数：
151
1、错误描述
SecurityError:Error:#2148:SWF文件http://localhost:8888/UploadDownload/Flash/ReadLocalFile.swf/[[DYNAMIC]]/2 不能访问本地资源file:///D:csp/csp-tomcat-5.5.23/bin/aspectjlib.jar 只有仅限于文件系统的SWF文件盒可信的本地S...
分类：
其他好文 时间：
2014-12-25 20:34:39
阅读次数：
166
Akka/Erlang的actor模型与Go语言的协程Goroutine与通道Channel代表的CSP(Communicating Sequential Processes)模型有什么区别呢？
首先这两者都是并发模型的解决方案，我们看看其定义和实现方式：
Actor模型描述了一组为了避免并发编程的常见问题的公理:
1.所有Actor状态是Actor本地的，外部无法访问。
...
分类：
其他好文 时间：
2014-12-18 17:02:22
阅读次数：
656
参数及结构typedef struct{ int i_csp; //色彩空间参数 ，X264只支持I420 int i_stride[4]; //对应于各个色彩分量的跨度 uint8_t *plane[4]; //对应于各个色彩分量的数据} x264_image_t;#defi...
分类：
其他好文 时间：
2014-12-16 20:49:20
阅读次数：
259
今年3月在南京举行的2014华为中国合作伙伴大会上，华为已经明确地提出了“大服务”的理念。在ICT融合的大背景下，不仅产品和解决方案需要融合，服务也需要融合。服务的融合不仅指服务产品本身要创新，设备供应商还要提供全面的端到端服务，而且要与渠道和合作伙伴更加紧密地团..
分类：
其他好文 时间：
2014-12-01 19:27:25
阅读次数：
342
1、解决物理网络2、规划网络布局3、工具和故障排除4、包分析5、网络设备和流量6、连接网络的路由器7、路由协议8、域名系统9、监控和故障排除10、无线网络11、网络安全12、网络设计附录A附录B附录C
分类：
Web程序 时间：
2014-10-29 00:08:02
阅读次数：
158
1、使用angularjs和winjs时的兼容问题 1、开启scp模式 <html ng-app="app" ng-csp><!-- Enables CSP (Content Security Policy) support --> 2、使用winjs提供的垫片文件 使在winjs内无法使用innerHTML、innerTe...
分类：
编程语言 时间：
2014-10-19 14:25:43
阅读次数：
221
前面一个文章里面，我们把一个字符串进行hash计算，并且签名。
现在就需要在接收方来验证了。
CryptImportKey
首先，我们需要把发方发过来的公钥导入到CSP里面。我们这里假设pbKeyBlob就是收到的公钥信息（比如从证书里面获取）。
if (CryptImportKey(
hProv,
pbKeyBlob,
dwBlob...
分类：
其他好文 时间：
2014-10-11 15:05:56
阅读次数：
124
