Author: Szpyrka Marcin
Publisher: Springer Publishing Company
ISSN: 0922-6443
Source: Real-Time Systems, Vol.35, Iss.1, 2007-01, pp. : 91-108
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Internet Research: Electronic Networking Applications and Policy, Vol. 6, Iss. 1, 1996-01 ,pp. :
Athena: a novel approach to efficient automatic security protocol analysis
By Song D.X.
Journal of Computer Security, Vol. 9, Iss. 1-2, 2001-01 ,pp. :