Formal Verification of Security Model Using SPR Tool - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Il-Gon Kim, Miyoung Kang, Jin-Young Choi, Peter D. Zegzhda, Maxim O. Kalinin, Dmitry P. Zegzhda, Inhye Kang. Formal Verification of Security Model Using SPR Tool. Computers and Artificial Intelligence, 25(5):353-368, 2006.

This author has not been identified. Look up 'Il-Gon Kim' in GoogleThis author has not been identified. Look up 'Miyoung Kang' in GoogleThis author has not been identified. Look up 'Jin-Young Choi' in GoogleThis author has not been identified. Look up 'Peter D. Zegzhda' in GoogleThis author has not been identified. Look up 'Maxim O. Kalinin' in GoogleThis author has not been identified. Look up 'Dmitry P. Zegzhda' in GoogleThis author has not been identified. Look up 'Inhye Kang' in Google

runs on WebDSL