Lonelysales的博客

北京大学自动机理论语言和计算导论研究生课程2015-2016，金芝老师任课，并附《ModelChecking》一书英文版。

Android 4高级编程（第3版），英文完整版,打包书中所有源代码。

黑客成长日记， 本书通过日记的形式讲述了一名黑客成长为安全专家的过程，并由日记引出各章节要介绍的技术内容，从基础的Windows登录密码破解、搭建黑客攻防训练平台到局域网与互联网中的攻防技巧都进行了介绍，并对黑客与网络安全爱好者进行了较好的职业规划。全书内容以实例为主，采用全程图解的方式进行讲解，通俗易学，是学习网络安全技术的入门读物。