1.Analysing Privacy-Type Properties in Cryptographic Protocols (Invited Talk)

作　　者：St{\'e}phanie Delaune

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;108:1:1-1:21.doi:10.4230/LIPIcs.FSCD.2018.1

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：220014759

文章详细
2.Simulation based security in the applied pi calculus

作　　者：St{\'e}phanie Delaune ;Steve Kremer ;Olivier Pereira

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2009 ;4:169-180.doi:10.4230/LIPIcs.FSTTCS.2009.2316

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186845599

文章详细全文下载
3.Transforming Password Protocols to Compose

作　　者：C{\'e}line Chevalier ;St{\'e}phanie Delaune ;Steve Kremer

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;13:204-216.doi:10.4230/LIPIcs.FSTTCS.2011.204

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186845879

文章详细全文下载
4.Partial Order Reduction for Security Protocols

作　　者：David Baelde ;St{\'e}phanie Delaune ;Lucca Hirschi

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;42:497-510.doi:10.4230/LIPIcs.CONCUR.2015.497

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186847031

文章详细全文下载
5.A Symbolic Framework to Analyse Physical Proximity in Security Protocols

作　　者：Alexandre Debant ;St{\'e}phanie Delaune ;Cyrille Wiedling

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;122:1-20.doi:10.4230/LIPIcs.FSTTCS.2018.29

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：230213178

文章详细全文下载

	有本地全文	4篇
	有全文链接	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("St{\ e}phanie Delaune")))) )) ) )"

	St{\'e}phanie Delaune	5篇
	Steve Kremer	2篇
	Alexandre Debant	1篇
	Cyrille Wiedling	1篇
	C{\'e}line Chevalier	1篇

	2018	2篇
	2015	1篇
	2011	1篇
	2009	1篇

	David Baelde	1篇
	Lucca Hirschi	1篇
	Olivier Pereira	1篇