▶ 연구일지
Scyther Install
Cyber0946
2020. 2. 22. 19:58
1.https://people.cispa.io/cas.cremers/index.html
Cas Cremers
My research involves the application of formal methods and cryptography to the analysis and development of secure systems. The resulting contributions include: Formal foundations of security How to mathematically define secure systems and their properties,
people.cispa.io
홈페이지로 가서 Scyther를 다운로드 받는다.
2. Scyther은 프로토콜을 formal analysis 하기 위한 툴이다.
3. 이 툴은 윈도우, 리눅스, 맥 모두 지원한다.
이 툴은 입력 값으로 보안프로토콜에 대한 명세를 받는다, 보안에 대한 정의를 포함해서 그리고 이를 평가한다.
필요한 조건은 다음이다.
1. The GraphViz library 설치
$sudo apt-get install graphviz
2. 파이썬 2.x 버전 설치
3. wxPython libraries 설치
$pip install -U -f https://extras.wxpython.org/wxptrhon4/extras/linux/gtk3/ubuntu-16.04 wxPython