최소 단어 이상 선택하여야 합니다.
최대 10 단어까지만 선택 가능합니다.
다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기디지털융복합연구 = Journal of digital convergence, v.13 no.4, 2015년, pp.205 - 210
이상준 (아주자동차대학 자동차디지털튜닝전공) , 배우식 (아주자동차대학)
The auto industry has significantly evolved to the extent that much attention is paid to M2M (Machine-to-Machine) communication. In M2M communication which was first used in meteorology, environment, logistics, national defense, agriculture and stockbreeding, devices automatically communicate and op...
* AI 자동 식별 결과로 적합하지 않은 문장이 있을 수 있으니, 이용에 유의하시기 바랍니다.
핵심어 | 질문 | 논문에서 추출한 답변 |
---|---|---|
Casper는 무엇인가? | Casper(a Compile for the Analysis of Security Protocols)는 CSP(Communication Sequential Process) 방식으로 프로토콜을 명세하기 쉽게 개발 되어진 컴파일러이다[15]. 명세 방법은 변수타입 및 함수선언, 통신 에이전트의 초기상태, 에이전트 간의 메시지교환 순서, 검증하고자 하는 보안 속성선언, 실제 데이터타입 및 이름을 선언한다. | |
자동차에 적용된 M2M은 어떤 문제를 가지고 있는가? | 자동차에서도 차량내부 장치 간, 차대 차, 차와 교통시설물, 차와 주변의 환경 등에 적용되고 있다. 그러나 통신시스템의 특성상 전송구간에서 공격자의 공격에 대한 문제가 있으며 자동차의 운행, 제어계통 및 엔진제어 등에 공격자의 공격이 진행되면 안전에 심각한 문제가 발생하게 된다. 따라서 디바이스 간 보안통신에 대한 연구가 활발히 진행되고 있다. | |
M2M은 어떻게 운영되는 시스템인가? | M2M은 기상, 환경, 물류, 국방, 농.축산 등에서 사용하기 시작하여 장비들이 자동으로 상황에 맞추어 통신을 하고 상황에 맞는 동작을 함으로써 운영해가는 시스템이다. 자동차에서도 차량내부 장치 간, 차대 차, 차와 교통시설물, 차와 주변의 환경 등에 적용되고 있다. |
V. Galetic et al., Basic principles of Machineto-Machine communication and its impact on telecommunications industry. in Pro. of 34th International Convention on Information and Communication Technology, Electronics and Microelectronics, pp. 89-94, 2011.
G. Wu, S. Talwar, K. Johnsson, N. Himayat, and K. D. Johnson, M2M: from mobile to embedded internet. IEEE Communications Magazine, Vol. 49, No. 4, pp. 36-43, 2011.
G. Wu, S. Talwar, K. Johnsson, N. Himayat and K.D. Johnson, M2M: From mobile to embedded internet. IEEE Communications Magazine, Vol.49, No.4, pp. 36-43, 2011.
ETSI, Machine-to-Machine communications (M2M); M2M service requirements. TS 102 689 V1.1.2., 2011.
Huy Hoang Ngo, XianpingWu, Phu Dung Le and Bala Srinivasan, An individual and group authentication model for wireless network services. Journal of Convergence Information Technology, Vol.5, No.1, pp. 82-94, 2010.
Chen C, He D, Chan S, Bu J, Gao Y, Fan R., Lightweight and provably secure user authentication with anonymity for the global mobility network. International Journal of Communication Systems 2010; 24:347-362. DOI:10.1002/dac.1158.
Qi X. A new authenticated key agreement for session initiation protocol. International Journal of Communication Systems 2011; 25:47-54. DOI:10.1002/dac.1286.
You I, Lee J-H, Kim B, Ilsun Y, Jong-Hyouk L, Bonam K. caTBUA: context-aware ticket-based binding update authentication protocol for trust-enabled mobile networks. International Journal of Communication Systems 2010;23:1382-1404. DOI: 10.1002/dac.1113
ISO 26262, Road vehicles - Functional safety, Management of functional safety & Concept phase
Aiash M, Mapp G, Lasebae A, Phan R, Loo J., A formally verified AKA protocol for vertical handover in heterogeneous environments using Casper/FDR. EURASIP Journal on Wireless Communications and Networking 2012.
ETSI, Machine to Machine Communications (M2M); M2M functional architecture. ETSI, TS 102 690, DEC, 2011.
G. Lowe. Casper: A compiler for the analysis of security protocols. User Manual and Tutorial. Version 1.12, 2009.
Formal systems (Europe) Ltd.: Failures-Divergence Refinement. FDR2 User Manual. Available from: pdf [Accessed 19 August 2011]
PRESERVE(PREparing SEcuRe VEhicle-to-X Communication Systems)Deliverable 1.1, Security Requirements of Vehicle Security Architecture. June. 2011.
Ryan P, Schneider S, Goldsmith M, Lowe G, Roscoe AW., The Modelling and Analysis of ecurity Protocols. PEARSON Ltd.: Edinburgh Gate. UK, 2010
M. S. Han, W. S. Bae, Security Verification of a Communication Authentication Protocol in Vehicular Security System. Journal of Digital Convergence, Vol. 12, No. 8, pp. 229-234, 2014.
Weis, S. et al., Security and Privacy Aspects of Low-Cost Radio Frequency Identification Systems. First International Conference on Security in Pervasive Computing, 2003.
*원문 PDF 파일 및 링크정보가 존재하지 않을 경우 KISTI DDS 시스템에서 제공하는 원문복사서비스를 사용할 수 있습니다.
Free Access. 출판사/학술단체 등이 허락한 무료 공개 사이트를 통해 자유로운 이용이 가능한 논문
※ AI-Helper는 부적절한 답변을 할 수 있습니다.