共 39 条
- [1] Aaraj N, 2007, P C DES AUT TEST EUR
- [3] [Anonymous], 2007, TR2007597 DARTM COLL
- [4] [Anonymous], P ACM WORKSH SCAL TR
- [5] ARM, 2009, ARM SECURITY TECHNOL
- [6] Bryan P, 2008, P 3 USENIX WORKSH HO
- [7] Chen L., 2009, Technical report
- [9] A Logic of Secure Systems and its Application to Trusted Computing [J]. PROCEEDINGS OF THE 2009 30TH IEEE SYMPOSIUM ON SECURITY AND PRIVACY, 2009, : 221 - 236
- [10] Dietrich K, 2009, P 2 INT C TRUST COMP