ISTP 2000 ??1 ???12 ? ??: Le, S; Youbing, J; Du, L; Wang ...
??: Specification analysis and test data generation by solving Boolean ..... In
this paper we provide the security architecture and model the security policies of
a ...... ??: An XML-message based architecture description language and ......
since anybody can convert a valid threshold signature into a new one such that ...