密码学
文章平均质量分 91
Icoding_F2014
相信代码可以变化世界
展开
-
密码学 引言
马上就要成为研究生了,先跟着老师学习学习密码学方面的研究。我的方向是研究现有的幂指数运算方面的东西,看是否能够提出一个想法来提高目前幂值运算速度。接下来将会开设一个专题来系统研究幂指运算。原创 2017-02-07 10:53:24 · 459 阅读 · 0 评论 -
WPA2协议新攻击方法(KRACK)—WPA2密钥重安装漏洞
Key Reinstallation Attacks Breaking WPA2 by forcing nonce reuse 今年9月份CCS公布了一篇新论文,该论文提出了一种新的攻击方法:Key Reinstallation Attacks,这种攻击方法对WPA2危害甚大。本文简单介绍该攻击方法。我们都知道所有WiFi网络都是靠WiFi Protected Access 协议的某个实现版原创 2017-10-18 18:11:22 · 13990 阅读 · 0 评论 -
图灵机简介
今天计算机病毒课上老师给我们介绍了一下图灵机。以前一直有听说过图灵机,今天简单地了解了一下图灵机,写下一些学习过程中的收获。图灵机是由图灵大神由1936年提出的一种确定的抽象计算模型,据说它可以被看做是终极强大的逻辑机器。图灵的基本思想是用机器来模拟人们用纸笔进行数学运算的过程,他把这样的过程看作下列两种简单的动作: • 在纸上写上或擦除某个符号; • 把注意力从纸的一个位置移动到另一个原创 2017-10-19 23:57:05 · 16046 阅读 · 0 评论 -
PE 文件型病毒编写实验(一)
这个学期终于圆了当年来读渣电的网络安全专业的一个梦:PE病毒编写。想起了高中那会儿熬夜看看雪论坛瞎搞什么软件破解,可是搞到后面很多东西不理解做的不深入,所以就先一本心思的考上渣电,然后再来深入的学习一下PE的相关。后面 渣电是考上啦,网络安全专业也考上啦,可是大一到大三虽然偶然零零星星地看了一些PE相关的东西,却一直没有集中化的时间来研究PE,因为总是有其它项目找上自己。这个学期刚好有计算机病毒这门原创 2017-11-09 21:11:21 · 10625 阅读 · 4 评论 -
使用NuSMV解决过河问题
使用NuSMV做形式化验证NuSMV的安装在http://nusmv.fbk.eu/bin/bin_download2-v2.cgi 页面下载合适的二进制可运行版本即可。在本报告中,本人下载了http://nusmv.fbk.eu/distrib/NuSMV-2.6.0-win64.tar.gz 文件。解压后,即可得到具有如下目录的文件夹:在bin目录下有可执行文件nusmv.exe,直...原创 2019-01-05 20:25:47 · 4356 阅读 · 4 评论 -
SPIN和SMV工具的对比学习 ——基于农夫过河问题
前言SPIN和SMV是课程中介绍了两种特别重要的模型检测工具,本文将介绍两种工具的安装、基本使用,同时使用两种工具来解决农夫过河问题,并对这两种工具进行比较。一、形式化验证工具的安装1.1.SPIN的安装1.1.1下载SPIN可执行文件进入spin验证工具的官网:http://spinroot.com/spin/whatispin.html进入安装向导页面,按照指示来进行安装。Wi...原创 2019-01-19 10:29:38 · 3893 阅读 · 10 评论 -
openssl——解析ssl通信过程的x509证书
首先当然得是想办法把通信过程中(例如libpcap抓包)的x509证书所在的内存起始地址,长度拿下来咯,下面代码可以直接贴上去用。注意如果是libpcap捕获的证书,必须要保证传入的证书必须是完整的(需要考虑证书是否跨IP数据包,是否乱序,如果证书跨包则需要手动重组)#include <openssl\x509.h>#include <openssl\x509v3.h>...原创 2019-04-10 11:54:55 · 1577 阅读 · 0 评论