8John Penix,Willem Visser,SeungJoon Park,Corina Pasareanu,Eric Engstrom,Aaron Larson,Nicholas Weininger.Verifying Time Partitioning in the DEOS Scheduling Kernel[J]. Formal Methods in System Design . 2005 (2)
9Gurgens S,Rudolph C,Scheuermann D,et al.Security evaluation of scenarios based on the TCG‘s TPM specification. Proceedings of the 12th European Symposium on Research In Computer Security . 2007
10Lin A H.Automated analysis of security apis. . 2005
