带π演算验证的FMIPv6优化方案
대π연산험증적FMIPv6우화방안
Optimized scheme about FMIPv6 with π-calculus verification
저자의 최근 논문