Scyther-Semantics and verification of Security Protocol

 1 、本書前一節主要是介作者自己的生平經歷（讀完感覺作者是個神童），目標明確作者13歲代碼已經寫的很溜了。自己也開了網絡公司，但是後面又專注於自己的計算機基礎理論，修了哲學的博士學位（不得不說很多專業的交叉真的可以創造新的起點），但是任何領域的開闢都是來自自己不辭辛苦的決心和堅韌不拔的毅力。    本來之前一直是在看滲透測試的方面資料，但是後面加上實習的事，論文View「」被「」選擇成工業網絡協

>>阅读原文<<