Banister
发表于 2025-3-28 18:04:19
http://reply.papertrans.cn/17/1617/161662/161662_41.png
cruise
发表于 2025-3-28 20:03:31
Checking Secure Interactions of Smart Card Appletsy policy has been defined that associates levels to applet attributes and methods and defines authorized flows between levels. We propose a technique based on model checking to verify that actual information flows between applets are authorized. We illustrate our approach on applets involved in an e