Author: Delicata Rob Schneider Steve
Publisher: Springer Publishing Company
ISSN: 1615-5262
Source: International Journal of Information Security (IJIS), Vol.6, Iss.2-3, 2007-03, pp. : 183-196
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Related content
By Bresson Emmanuel Chevassut Olivier Pointcheval David
International Journal of Wireless and Mobile Computing, Vol. 2, Iss. 1, 2007-05 ,pp. :
Formal verification of dependable distributed protocols
Information and Software Technology, Vol. 45, Iss. 12, 2003-09 ,pp. :