DMCA

Application of Model Checking to AXML System’s Security: A Case Study

Cached

Download Links

by Il-gon Kim , Debmalya Biswas
Venue:in "WSFM", vol. LNCS 4184
Citations:1 - 0 self