共 50 条
- [42] A Formal Implementation of Database Security PROCEEDINGS OF WORLD ACADEMY OF SCIENCE, ENGINEERING AND TECHNOLOGY, VOL 13, 2006, 13 : 90 - 92
- [44] Formal methods and security evaluation THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 1999, 1690 : 291 - 291
- [45] Formal methods for smartcard security FOUNDATIONS OF SECURITY ANALYSIS AND DESIGN III, 2005, 3655 : 133 - 177
- [49] A formal framework for provenance security 2011 IEEE 24TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF), 2011, : 281 - 293