Slide 1 Method of providing Secure Network Channel among Secure OSs Jae-Deok Lim*, Joon-Suk Yu*, Jeong-Nyeo Kim* *Electronics and Telecommunications Research Institute(ETRI)…