Opacity generalised to transition systems 论文

2008International Journal of Information Security引用 279
User Authentication and Security SystemsAccess Control and TrustSecurity and Verification in Computing