-
-
[求助]哪里有安全协议形式化分析工具，最好是WINDOWS能用的
-
发表于: 2011-12-13 18:09
-
看书上列了：NRL /AAPA1/AAPA2/PDL/COSEC/SPEAR，可没搜到有能下的。。。
看这界面，挺强大：
http://dimacs.rutgers.edu/Workshops/Security/program2/hutch/spear.html
http://www.cse.msu.edu/~cse914/F02/Public/MiniTutorials/NRLProt/nrl-prot-analyzer.pdf
http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=756753&tag=1
http://people.emich.edu/pstephen/other_papers/NRL%20Protocol%20Analyzer.pdf
http://www.springerlink.com/content/d48xyyb3blhevpee/fulltext.pdf
http://www.ussrback.com/cryptopapers/1999/www.itd.nrl.navy.mil/ITD/5540/publications/CHACS/1999/1999meadows-IEEE99.pdf
http://www.springerlink.com/content/d48xyyb3blhevpee/
看这界面，挺强大：
http://dimacs.rutgers.edu/Workshops/Security/program2/hutch/spear.html
http://www.cse.msu.edu/~cse914/F02/Public/MiniTutorials/NRLProt/nrl-prot-analyzer.pdf
http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=756753&tag=1
http://people.emich.edu/pstephen/other_papers/NRL%20Protocol%20Analyzer.pdf
http://www.springerlink.com/content/d48xyyb3blhevpee/fulltext.pdf
http://www.ussrback.com/cryptopapers/1999/www.itd.nrl.navy.mil/ITD/5540/publications/CHACS/1999/1999meadows-IEEE99.pdf
http://www.springerlink.com/content/d48xyyb3blhevpee/
[培训]内核驱动高级班，冲击BAT一流互联网大厂工作，每周日13:00-18:00直播授课
|
|
|---|---|
|
|
|
|
|
|
|
|
|
