본문 바로가기

기타

(11)
초보자를 위한 AVISPA 간단 정리 AVISPA란 프로토콜의 안전성을 검증하는데 쓰이는 HLPSL언어이다. AVISPA Avispa는 baisc role, session role, environment role이 존재한다. environment role은 다른 프로그래밍 언어의 main 함수를 의미한다. session role은 environment에서 basic role을 불러오는데 쓰이는 함수이다. basic role은 실제 기능을 수행하는 함수라 보면된다. AVISPA을 프로그래밍 하면서 주의할점 ! avispa는 컴파일시 코드를 읽는 순서가 존재한다. top down 형식이 아닌, down-top 형태로 읽는다. 즉, environment role이 맨아래, session role, basic role 순으로 존재해야한다. 주의! ..
SBCS, MBCS, WBCS SBCS, MBCS, WBCS SBCS ( Single Byte Character Set ) 문자를 표현하는데 있어서 1바이트만 사용하는 방식. 대표적으로 아스키코드가 해당된다. MBCS( Multi Byte Character Set ) 문자를 표현하는데 있어서 다양한 바이트 수를 이용한다. (어떤 문자는 1바이트, 어떤문자는 2바이트) ex) 한글은 2바이트 영어는 1바이트 처리. MBCS는 SBCS를 포함하고있다. 유니코드는 MBCS에 포함되지 않는다. WBCS( Wide Byte Character Set ) 유니코드에 해당 모든 문자를 2바이트로 처리한다. char(SBCS) => wchar_t(WBCS) wchar_t는 typedef unsigned short wchar_t이다. "ABC" => ..
네트워크 이중화 종류 Active - Active 각각 서비스를 제공하다가 장애노드가 발생하면 다른노드에서 해당 서비스까지 병행처리해주는 방식 즉, 모든 노드는 서비스를 제공하면서 동시에 대기 노드 역할을 함 Active - Active는 가능한 최대로 Stateless 하는게 좋음. 데이터 정합성 유지하기 위해 동기화 작업을 하게되는데 이때 동작이 느려짐. Active - Standby 서비스를 제공하는 노드에 대한 대기 노드 존재하는 방식. 대기노드는 어플리케이션을 미리 로드해놓을 수 있지만 서비스를 위한 접속점(ip address, listener)은 활성화 되어선안됨. Standby에는 3개의 종류가 있다. Hot Standby 가동 후 즉시 이용 가능한 구성 Warm Standby 가동 후 즉시 이용은 불가능 하지만..