- 博客(17)
- 资源 (4)
- 收藏
- 关注
RSS订阅原创 window环境下查询jdbc的版本
window环境下查询jdbc的版本有时，我们无法从jdbc的jar包中找到jdbc的版本号，可以通过以下语法进行查找（window环境下）。java -cp D:\project\lib\db2jcc.jar com.ibm.db2.jcc.DB2Jcc -version对该语句的注解：**java -cp ** 是命令；D:\project\lib\db2jcc.jar是db2jcc.jar所在的绝对路径（位置）；com.ibm.db2.jcc.DB2Jcc是引用db2jcc.jar的包
2022-05-07 22:41:38
3383
原创 ProVerif的使用文档（2）——语法1
1.声明（declaration）1.1 声明变量格式：type t.例子：free n:t. 表示n的类型是t，free是关键词，表示公开的，是可以被攻击者获取的。如果不想被攻击者获取，则需要声明为私密的，关键词为private，格式如下：free n:t [private].1.2 声明函数格式：fun f(t1,…,tn):t.解释：f是关于n的函数构造器，t是该函数f的返回...
2021-09-13 14:51:23
2236
1
原创 ProVerif输出结果分析
为了正确理解输出结果，我们首先理解推导攻击和跟踪攻击的区别。推导攻击：在Proverif内部中，攻击者为了打破安全性而采取的行动，在实际攻击中，这种攻击方法不总是可行的，例如这种攻击需要重复某些行为，但是这些行为实际上永远不会重复。跟踪攻击：指运用pi算法始终对所考虑的进程进行可执行跟踪。ProVerif有三种输出结果：RESULT [Query] is true: 这种结果表示query被证明是安全的，不存在攻击。ProVerif显示没有推导攻击和跟踪攻击。 RESULT [Query] is
2021-09-13 14:50:23
744
原创 sql学习笔记（一）
电脑系统：macOS软件：mysql 8.0.231、登录数据库命令/usr/local/MySQL/bin/mysql -u root -p
2021-05-28 16:15:03
194
原创 java中的构造器和类的区别
构造器和类都使用关键字class，但是构造器的名字必须和类名一样。例如下面的代码：classRock{ //这个是类命为Rock的类 Rock{ //这个是名字为Rock的构造器 System.out.print(“Rock构造器”)}public class SimpleConstructor{ for(int i = 0; i < 10; i++) New Rock(); }}构造器是一种特殊类型的方法，没有返回值的。.
2021-05-06 09:38:15
1134
3
原创 java笔记01
类中包括属性和行为：属性（field），也称为成员变量，又称为域或者字段。行为，对应类中的方法（method），也称为（成员）变量，或者函数。
2021-05-05 10:32:25
83
原创 Java中范型类中的类型变量表示
一个范型类可以有一个或者多个类型变量的类。类型变量使用大写字母表示，在Java库中，使用变量E表示集合的元素类型，K表示表的关键字类型，V表示表的值类型，T表示任意类型，有时也会使用U和S表示任意类型。因为U和S离T较近的原因。用具体类型代替类型变量就可以实例化范型类型。...
2021-04-29 09:42:48
212
原创 在kail linux中，msfconsole连接到postgresql数据库
在kail linux中，msfconsole连接到postgres数据库出现的问题：postgresql selected, no connection解决方法：1. msfdb run2. db_status就会出现connected to msf. connection type: postgresql.原因是：postgresql 没有启动造成的。...
2020-10-04 16:17:22
766
原创 Proverif分析handshake协议
1. proverif简介Proverif用来验证密码协议，密码协议是利用互联网等公共通信渠道进行交互以实现一些与安全相关的目标的并发程序。Proverif是在Dolev-Yao模型下进行密码协议验证的。在Dolev-Yao模型下，攻击者可以完全控制通信信道，可以读取、修改、删除以及注入消息，攻击者还可以操纵数据，例如：计算元组的莫个参数，使用密钥解密信息。Proverif还将检测不诚实的参与者行为，只有诚实的参与者会被建模。Proverif允许密码术语和相关安全性目标以形式化的方式输入，允许自动验证声
2020-06-18 16:40:50
2392
3
翻译 proverif2使用文档——例子Needham-Schroeder public key protocol简化协议
我们来形式化证明Needham-Schroeder public key protocol协议。该协议描述了Alice（A）和Bob（B）的相互认证过程。尽管在最初的描述中没有说明，协议也可以提供参与者之间共享的秘密会话密钥。除了两个参与者之外，我们假设存在一个可信密钥服务器（S）。协议如下：A向S发出索要B公钥（skB）的请求，S把B的公钥和身份（skB,B）用自己的私钥进行签名后发给A。...
2019-03-30 22:14:51
2871
原创 ProVerif使用文档（1）——启动和运行
软件名称：ProVerif 2.0系统环境：window步骤：1.打开proverif.exe文件所在路径，在该路径（相同文件夹）下，做如下操作：1.1.新建文本test.txt，并输入一下代码：free c : channel .free Cocks : bitstring [private].free RSA: bitstring [private] .proce...
2019-03-28 17:24:16
2896
9
原创 Sql Plus忘了用户名和密码
（1）打开Sql Plus，根据提示在输入用户名处输入：“system as sysdba”，直接回车，出现“连接到……”；（2）输入“select username from dba_user”，将会出现一系列的名字，我们选择“system”；（3）输入“alter user 用户名 identified by 密码”，用户名必须是上一步中出现的用户名，密码可以重新设定；（4）接上一...
2018-11-08 20:54:33
14029
1
原创 sicso模拟器模拟RIP协议
RIP协议的介绍：RIP（路由选择信息协议）是距离矢量路由选择协议的一种，具有以下的特点：1、选用跳数作为唯一的路由选择度量标准；2、跳数允许的最大值是15，如果路由器收到了一个跳数为16的路由更新信息，则其目标网络是不可达的；3、 缺省情况下，没30s广播一次路由更新数据；4、有2个版本，版本1不支持可变长子网掩码(VLSM)和不连续的子网；版本2支持，并且使用组播地址发送路由更...
2018-11-08 15:32:59
1362
原创 no matching version found for scratch-vm@0.2.0-prerelease.20180918201814
在下载scratch3.0的依赖包时，在目录下，运行cmd，输入：npm install scratch-vm@0.2.0-prerelease.20180918201814，无法下载匹配包，显示如下：换命令：npm install scratch-vm，结果如下：自动匹配scratch-vm@0.2.0-prerelease.20180918201814....
2018-10-06 15:26:01
1459
原创 git | git clone git@github.com:LLK/scratch-gui.git
在CMD中输入git clone git@github.com:LLK/scratch-gui.git下载scratch-gui.git时，出现错误：git@github.com:Permission denied(publickey).fatal:Could not read from remote repository.上网查到很多解决方法，用SSH等，没有成功。最后换成了如下方法...
2018-09-26 15:28:48
3688
Cisco packettracer 6.0
2018-11-08
cellular-z功能
2024-07-03
TA创建的收藏夹 TA关注的收藏夹
TA关注的人