导航切换
Netinfo Security
Home
About Journal
Adviser
Editorial Board
Guide to Authors
Subscribe
Ethics Standard
Contacts us
中文
Security applications and the formal specification process of refinement
Netinfo Security . 2009, (
5
): 0 -0 .