Notice
Link
| 일 | 월 | 화 | 수 | 목 | 금 | 토 |
|---|---|---|---|---|---|---|
| 1 | 2 | 3 | 4 | |||
| 5 | 6 | 7 | 8 | 9 | 10 | 11 |
| 12 | 13 | 14 | 15 | 16 | 17 | 18 |
| 19 | 20 | 21 | 22 | 23 | 24 | 25 |
| 26 | 27 | 28 | 29 | 30 | 31 |
Tags
- 파이썬 음성파일 텍스트 변환
- 파이선 행
- 파이썬 채팅
- 통계 #ROC #TPR #FPR #TNR #이진분류 #Accuracy #Recall
- 파이썬#subprocess#communicate()
- 파파고 번역
- 파이썬 프로젝트
- PDF 개행문자
- 파이썬 파일 전송
- ROS #spin() #spinOnce() #ROS기초
- 파이썬 텍스트 변환 #파이썬 공부
- 파이썬#파이썬경로#파이썬폴더#파이썬디렉토리
- 파파고 꿀팁
- ROS #Robotics #ROS기초
- QGC#QGrouncControl#GLIB오류
- 리눅스#모의해킹#리눅스명령어#head 명령어
- pdf 번역
- 파이썬 엑셀 파일 읽고 쓰기
- 파이썬 열
- 파이썬 음성인식
- 파이썬 #파이썬프로젝트 #파이썬 예시 #파이썬 파일경로 #파이썬 자동화
- 파이썬 예시
- 파이썬 유튜브
- 리눅스기초#리눅스명령어#리눅스 tail#tail#모의해킹 리눅스
- 스트림 암호 one-time-pad 공격#보안#암호
- 파이썬
- 패스트 캠퍼스 #자율주행 #비전
- 크롬오류#크롬검색어자동완성끄기#검색어자동완성오류#검색어자동완성 제거#검색어 노란선#검색어반복입력
- 파이썬 #
- 논문번역 꿀팁
Recent Comments
Archives
개발자비행일지
Scyther Install 본문
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
'▶ 연구일지' 카테고리의 다른 글
| OCAML 설치하기 (0) | 2020.03.15 |
|---|---|
| Cousera Software Security 5주차 내용 완강 (0) | 2020.02.26 |
| Coursera로 Software Security 수강 시작 (0) | 2020.02.25 |
| Real Time Kinetic Global Position System (0) | 2020.02.17 |
| GPS의 역할 (0) | 2020.02.17 |
'▶ 연구일지' Related Articles
more
