Reasoning about Concurrency for Security Tunnels
1 Reasoning about Concurrency for Security Tunnels Alwyn E. Goodloe University of Pennsylvania Carl A. Gunter University of Illinois Urbana-Champaign.
July 2008IETF 72 - NSIS1 Permission-Based Sending (PBS) NSLP: Network Traffic Authorization draft-hong-nsis-pbs-nslp-01 Se Gi Hong & Henning Schulzrinne.
Method of providing Secure Network Channel among Secure OSs
Method of providing Secure Network Channel among Secure OSs Jae-Deok Lim*, Joon-Suk Yu*, Jeong-Nyeo Kim* *Electronics and Telecommunications Research Institute(ETRI),
