- 博客(2)
- 资源 (14)
- 收藏
- 关注
RSS订阅转载 电子书推荐--《Python灰帽子》,python黑客编程
python黑客编程-E:\web\www.xuanhun521.com\ebook\python黑客编程\002.htmlpython黑客编程-E:\web\www.xuanhun521.com\ebook\python黑客编程\003.htmlpython黑客编程-E:\web\www.xuanhun521.com\ebook\python黑客编程\004.htmlpython黑客编程-E:\
2013-11-18 11:03:25
3208
1
原创 8086汇编语言(1)虚拟机安装ms-dos 7.1
8086汇编语言(1)虚拟机安装ms-dos 7.1文/玄魂前言在开始这一系列文章之前，我想先说下，对于古董级的8086汇编到底还以有没有学习的必要。这里我说下我要从8086开始学习，而不是从win32汇编或者win64汇编直接开始学习的理由。开发技术越是上层，高级，那么对底层封装的就越深。我学习汇编语言的目的，不是用它来开发应用软件，因为那是高级语言擅长的领域。学
2013-11-08 17:20:07
3143
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关注的人