9Clarke E M.My 27-year quest to overcome the state explosion problem[C]//Pitts A. 24th Annual IEEE Symposium on Logic In Corn- puter Seience,Washington DC,IEEE Computer Society,2009(6):3-3. 被引量：1
10Hwang M,-S,l,uJ.-I,,I,in I.-C.A practical threshold proxy signature scheme based onthe RSA eryptosystem[C].IEEE Transactions on Knowledge and Data Engineering,2003(6): 1552-1560. 被引量：1
