goto2091的博客

AspectC++用法详细教程见http://www.aspectc.org/doc/ac-languageref.xhtml实例example文件里, 有一个随机事件发生程序——SimpleEventLoop,aspectC++最适合的是插装事件日志编译和使用见AutoMonitor/lib/aspectC++/examples/ 里面编写的示例, acc的文件后缀名为.ah,本质是一种特殊的C++头文件。ac++是编译AspectC++程序的编译器。实现将AspectC++代码转化为C

网络的概述网络的核心是分开的终端的应用程序之间通过信息的交流来完成功能。围绕着这些信息，如何使得这些信息能够准确地传递到某个终端的应用程序中，并且使得该应用程序能够准确读出这些信息的内容。所以有了这些各式各样的协议。其中tcp是传输控制协议，而udp是用户数据报协议。当前互联网是以TCP/IP协议族为基础构建的，TCP/IP协议是一系列网络协议的总称，可以划分为四层：链路层、网络层、传输层和应用层。链路层主要负责封装和解封装IP报文。网络层通过各终端连接起来的各类网络的路径，将IP报文发送给目标

1、曾经在测试IDS的时候，有一次发现IDS死活识别不出总交换机上的镜像流量。于是大家齐上阵，查看测试网络的IDS本地日志。查看linux 的coredump看是否有错误。发现没有错误后， 继续排查，重新建立了一个测试网络，还是出现镜像流量识别不出来的问题。排查了1下午，最后灵光一闪，是不是后端那里出了问题，终于排查后端代码的时候，发现实习生将防火墙的设置给改了，无论如何后端都只对特定IP打开而对其他IP屏蔽，所以流量根本无法被发送到IDS上。2、第二个问题是，IDS中的分析匿名流量用到了机器学习算法，但

参考资料suricata官方文档https://suricata.readthedocs.io/en/latest/performance/runmodes.html#different-runmodessuricata的源代码https://blog.csdn.net/shenwansangz/article/details/37900875?utm_medium=distribute.pc_relevant.none-task-blog-utm_term-3&spm=1001.2101.30

1 题目（Formal verification of smart contracts based on users and blockchain behaviors models）1.1 作者、出处、年份、发表期刊/会议Tesnim Abdellatify, Kei-Leo Brousmiche∗∗IRT SystemX, Paris-Saclay, France, Email: kei-leo.brousmiche@irt-systemx.fryEDF R&D, Paris-Saclay