![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Author: Cortier Véronique Delaune Stéphanie
Publisher: Springer Publishing Company
ISSN: 0925-9856
Source: Formal Methods in System Design, Vol.34, Iss.1, 2009-02, pp. : 1-36
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
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Analysis of security protocols as open systems
Theoretical Computer Science, Vol. 290, Iss. 1, 2003-01 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
XML-based security for JXTA core protocols
International Journal of Autonomic Computing, Vol. 1, Iss. 4, 2010-12 ,pp. :