- 博客(1)
- 资源 (14)
- 收藏
- 关注
原创 Visual Studio Code 使用Git进行版本控制
Visual Studio Code 使用Git进行版本控制本来认为此类教程,肯定是满网飞了。今天首次使用VS Code的Git功能,翻遍了 所有中文教程,竟没有一个靠谱的。遂动笔写一篇。请确保你安装了最新的VS Code.http://code.visualstudio.com/请确保安装了最新版的Git。https://git-scm.com/download。git安装到环境
2016-11-01 13:08:21 32156 2
1.初探安全.pptx
课程名称:Web安全漏洞与渗透测试
课程版权归“玄魂工作室”及创始人、负责人所有。
课程节次:
课程共分为八部分,每部分
【一、安全概念】
1.初探安全 00:36:48
2.网络安全法 00:17:13
3.提问的艺术 00:05:29
【二、环境搭建】
1.搭建phpstudy环境&hosts讲解&cdn讲解 00:24:32
3.搭建Kali Linux和Metasploitable2 00:28:14
【三、学习基础】
1.HTML基础 00:31:58
2.PHP基础 00:38:15
3.mysql基础 00:40:05
【四、信息收集】
浅谈渗透测试前的信息收集 00:34:39
【五、漏洞讲解】
1.文件泄露 00:08:01
2.SQL注入 00:42:41
3.XSS 01:05:58
4.CSRF 00:21:27
5.暴力破解 00:32:11
6.文件上传 00:22:40
7.逻辑漏洞 00:07:47
【六、漏洞扫描工具】
1.NMAP 00:35:40
2.SQLMAP 00:24:44
3.AWVS 00:16:05
4.Xray 00:20:08
5.BurpSuite 00:17:07
【七、漏洞利用工具】
1.1MetaSploitable2搭建 00:04:11
1.MetaSploit初识 00:17:39
2.MetaSploit对MetaSploitable2的攻击 00:12:03
3.MetaSploit扫描指定端口的主机 00:11:00
4.MetaSploit对cve-2019-0708的检测 00:20:19
5.MetaSploit对各类密码进行破解 00:27:03
6.利用msf模块中的msfvenom模块生成木马 00:15:18
【八、补充课】
SRC挖掘指南 00:18:05
后渗透基础知识 00:22:13
课程时长共计:632分钟=16.3小时
2020-06-06
Advanced Topics in Types and Programming Languages
Advanced Topics in. Types and Programming Lan-. guages. Benjamin C. Pierce, editor. The MIT Press. Cambridge, Massachusetts. London, England
2012-04-20
类型和程序设计语言(Types and Programming Languages)
类型理论在程序设计语言的发展中起着举足轻重的作用,成熟的类型系统可以帮助完善程序设计本身,帮助运行系统检查程序中的语义错误。
要理解类型系统在程序设计语言中发挥的作用,本书将是首选读物。本书内容覆盖基本操作语义及其相关证明技巧、无类型lambda演算、简单类型系统、全称多态和存在多态、类型重构、子类型化、囿界量词、递归类型、类型算子等内容。本书既注重内容的广度,也注重内容的深度,实用性强。在引入语言的语法对象时先举例,然后给出形式定义及基本证明,在对理论的进一步研究后给出了类型检查算法,并对每种算法都给出了ocaml程序的具体实现。本书对类型理论中的概念都有详细的阐述,为读者提供了一个进一步理论学习的基础。本书内容广泛,读者可以根据自己的需要有选择地深入阅读。
2012-04-20
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人