- 博客(5)
- 资源 (1)
- 收藏
- 关注
RSS订阅原创 tamarin-manual（一到五）20230926271007
Tamarin power 是一种功能强大的工具，用于对安全协议进行符号建模和分析。它以安全协议模型为输入，指定了以不同角色（如协议启动者、响应者和受信任的密钥服务器）运行协议的代理所采取的行动，敌手的指定以及协议期望属性的指定。然后，Tamarin 可用于自动构建一个证明，即即使协议角色的任意多个实例并行交错，加上敌手的行动，协议也能满足其指定的属性。在本手册中，我们将概述这一工具及其使用方法。Tamarin 为安全协议建模和推理提供一般支持。
2023-10-07 20:46:18
527
8
原创 Java语言学习（记事本+cmd窗）
学习背景：1.Web实验要求用记事本编写Java代码，下载JDK后在cmd窗口中运行2.此前对Java了解不多，主要记录记事本编写代码时遇到的问题，编译时遇到的问题一.记事本编写代码：1.写完代码文件命名方式：类名.java编码：ANSI （否则编译时会出现识别不了汉字的情况）2.如果不更改编码，一般默认为UTF-8，需要在编译时加上 原因分析：提示：这里填写问题的分析：例如：Handler 发送消息有两种方式，分别是 Handler.obtainMessage()和 Handl
2021-05-26 22:18:44
104
原创 用嵌套的循环结构完成右上左下直角三角形、菱形等各种图形的输出
提示：文章写完后，目录可以自动生成，如何生成可参考右边的帮助文档文章目录前言一、左下三角形二、右上三角形三.菱形总结前言Java语言学习提示：以下是本篇文章正文内容，下面案例可供参考一、左下三角形流程图+代码流程图:代码如下：import java.util.*;class Zuoxia{public static void main(String[] args) {Scanner scan = new Scanner(System.in); for (int i = 1
2021-05-26 21:49:05
1156
原创 Android studio 真机模拟步骤
Android studio 真机模拟设置步骤一、手机端设置二、Android studio端设置一、手机端设置第一步：（本文所用的手机是小米）设置>我的设备>全部参数>MIUI版本，多次点击MIUI版本，系统会提示，已处于开发者模式。第二步：返回设置，找到更多设置会出现开发者选项，点击USB调试，USB安装，这里USB安装会出现一些问题，如果没有安装SIM卡，是没办法打开的。二、Android studio端设置如图，点击app,选择Eidt Configurations设
2021-02-19 15:35:51
1763
3
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人