모바일 환경 공인 전자 메일 / 프로토콜의 정량 분석에 확률적 모델

모바일 환경 공인 전자 메일 프로토콜의 정량 분석에 확률적 모델

 

오늘 날 사용하는 대부분의 지배적인 응용 프로그램 중 하나 예를 들어, 모바일 기기, 스마트폰과 PDA, 전자 메일이다. 인기를 감안할 때 전자 메일 서비스 및 보안에 대한 현재의 추세 통신으로 전자 메일의 보안 비용을 분석 서비스가 중요한 문제이다. CEMD 프로토콜 모두를 제공한다. 예상 보안 속성 즉, 공정성, 기밀 유지, 적시성 및 TTP 투명과 그 전자 메일 프로토콜을 지원해야하며 또한, 그와 관련 허용 프로토콜은 종류에 따라 알려진 ANR 프로토콜 분석이다.

 

1. 기부

 

정량 분석​​을 위한 확률적 모델 확인전산 특성과 의사소통에 따라 프로토콜매개 변수이다. 요즘의 모바일 프로세서에 속도는 최대 1 GHz 이상의 CPU가 있다. 제품은 다른 작업을 지원하는 제조 업체모드. 예를 들어, 인텔은 모바일 펜티엄 III 출시 작업 모드와 프로세서, 즉 전체 전력 모드800 MHz와 650 MHz의 (Prasithsangaree에서 저전력 모드에서 작동한다. 이 특성은 매우 중요합니다. 기본적인 커뮤니케이션 컴포넌트 이후 프로토콜과 메커니즘 암호화 작업을 예방식으로 개발 수 있다는 것을 악용하는 그들의 낮은 전력모드 기능이 있습니다.

 

2. 관련 작품

 

무선 및 모바일 통신의 광범위한 사용을 감안할 때 그것을 위한 필수적인 프로토콜 설계자 그들이 되는 보안 속성을 확인할 뿐만 아니라 제공되어 자신의 비용 관련속성 이 사실은 확률적 모델 검사하게 프로토콜의 정량 분석​​을 향해 유망한 접근법에 대한 정량 분석​​을 가능하게 하는 중요성 암호 부여프로토콜은 첫 번째에 표시되었다. 저자가 가중치에 대한 공식적인 프레임 워크를 제안참가자의 비용은 순서에 따라 노출된 정도를 확인하는 중프로토콜의 저항 againstDenial의 ofService (도스) 공격 에상호 인증의 자원 집약적인 작업의 최근 상기 접근법을 형성했다. 분석 프레임 워크에 대한 근거 작품은 더 정확한 프로토콜의 전산 비용의 표현이다. 그러나 그 단점은 시뮬레이션보다는 검증을 고용 하고 있다.

 

3. 확률적 모델과 프로토콜 분석확인

 

프리즘은 강력한 확률적 모델 검사 도구이다. 그것은 모델의 세 가지 유형을 지원한다. DTMCs (이산시간 마르코프 체인), MDPs (마르코프 결정 프로세스) 및 CTMCs 등 이 있다. 이 작품에서는, CEMD의 CTMC 표현프로토콜 (Nenadic 외., 2004)와 함께 개발 되고 있다. 이를 통해 확인된 비용 관련 속성 인코딩(model.CTMCanalysis)의 전체 상태 공간으로 인해 선택 된다. 그 예를 들어 동적 동작과 시스템을 대표에 강도통신 프로토콜 및 되는 자사의 이점 분석적 치료 및 수치 계산이며, 예를 들어 계산 및 전송 비용의 계산 여유한 기간과 확률적 모델 확인 및 CTMC 원칙 설명되어 있다.

 

① 확률적 모델 검사 원리 일반적으로 모델 검사 속성의 확인을 포함

: 표시된 상태 전이 시스템 이상 확률적 모델 검사, DTMC, CTMC의 MDP에 대한 추가 .정보를 포함하는 모델이다. 미국 사이에 전환의 가능성이 발생할 수 있습니다. 프리즘에 .서는 확률적 모델은 세트로 정의 된다.

② 연속 시간 마르코프 체인 (CTMC) 원칙

: CTMCs이 분야에서 일반적으로 사용되는 기술이다. 컴퓨터의 성능과 신뢰성 분석과 실 .시간 통신 시스템과 CTMC는 튜플 DS에로 정의된다.

 

③ 지속적인 확률적 논리 (CSL)의 간략한 설명

: CTMC 속성은 연속의 formulaes로 인코딩 된다.

 

4. CEMD 프로토콜의 정량 분석

 

① CEMD 프로토콜

: 전자 메일 프로토콜을 이용하기 위해 강력한 공정을 제공하는 목적 받는 이 경우 전자 메일 메시지를 받을 수 있는 경우에만 보낸 사람이 그것의 영수증을 받게 된다.

 

② CEMD의 확률 모델 검사

: CEMD 프로토콜 (CEMDCTMC)의 제안 CTMC 분석을 다룬다.

 

③ CEMD - CTMC 모델을 개발

: 모듈 메사 추세츠 발신자와 개시제 전자 메일을 나타낸다.

[

④ 파생 전산 및 전송 비용

: 매개 변수이 단계의 계산 및 전송 비용 CEMD 프로토콜의 매개변수는 CEMD에서 파생된다. .사향을 좀 더 구체적으로 연산 비용이 CPU 사이클과 일치 계산된다.

 

⑤ 채택할 비트 오류 속도 매개 변수

: 섹션 4.2.2 BER에 따르면 두 개의 매개 변수 그 중 하나이다.

⓺ 보상에 포함 비용 매개 변수

⓻ BER에 매개 변수 및 CEMD

 

5. 결과

 

그것이 언급되어 바와 같이, 제안된 분석을 목표로 비용 관련 속성에 대한 정량 결과를 제공 CEMD 프로토콜, 즉, 전산 및 전송비용이다. 이러한 결과는 보낸 사람의 사이에서 여러 세션을 고려 그리고 수신자의 앞서 말한 NTT에 속하는 것으로 간주되고 널리 사용되고, 텍사스 인스 트루먼트 작동 200 MHz 이상 내부 BER은 다르다. HSDPA 모바일 환경 개발 CTMC - CEMD 모델 존중 설계 CEMD 프로토콜에 의해 제공되는 보안 특성 CEMD는 보안 속성을 보장 하는 방법으로 설계 되었다.

 

6. 결론

 

어려울 것 만 같아 전혀 접해 본적 없던 외국 발행 논문을 번역 등의 작업을 통해 하나하나 확인하고 알게 되었다. 보기 쉽다고 우리나라 발행 자료만 고집할 것이 아니라 관심 있는 문야에 자료들은 국적 및 언어와 상관없이 찾고 그 자료들을 습득하며 공부하는 것이 대학생활에 필요한 과정이라는 것을 알게 되었다.