维普期刊资源整合服务平台（V6.5）

30篇 您的检索式：作者名="FOCARDI R"

选中清除导出查看参考文献查看引证文献引用追踪共2页首页上一页第1页下一页末页 /2 跳转

	题名	作者	年代	出处	被引量
1	Classification of security properties(part I: information flow)显示文摘	FOCARDI R GORRIERI R	2001	Foundations of Security Analysisand Design2001，2171，：	1
2	A compiler for analyzing cryptographic protocols using noninterference显示文摘	Durante A Focardi R	2000	ACM Transactions on Software Engineering and Methodology2000，9，4：	1
3	Element concentrations in Chianti Classico appellation wines显示文摘	MONACI F BARGAGLI R FOCARDI S	2003	Journal of Trace Elements in Medicine and Biology2003，17，1：	1
4	A Classification of Security Properties for process algebras显示文摘	Gorrieri R	1995	Journal of Computer Security 1994/1995，3，1：	1
5	Classification of security properties (PartⅠ:Information Flow) 显示文摘	Gorrieri R	2001	In Foundations of Security Analysis and Design-Tutorial Lectures LNCS Springer-Verlag2001，2171，：	1
6	A Classification of Security Properties for process algebras显示文摘	Gorrieri R	1994	Journal of Computer Security1994，3，1：	1
7	Stochastic modeling of animal movement 显示文摘	SMOUSE P E FOCARDI S MOORCROFT P R	2010	Philosophical Transactions of the Royon Society B2010，365，1550：	1
8	Feedback vertex set in hypercubes显示文摘	Focardi R Luccio F L Peleg D	2000	Inform Process2000，76，12：	1
9	Security Boundaries in Mobile Ambients显示文摘	Braghin C Cortesi A Focardi R	2002	Computer Languages2002，28，1：	1
10	Feedback vertex set in hypercubes 显示文摘	Focardi R Luccio F L Peleg D	2000	Information Processing Letters2000，76，1：	1
11	Classification of Security Properties: Part I Information Flow显示文摘	Focardi R Gorrieri R	2001	Foundations of Security Analysis and Design LNCS2001，2171，：	1
12	A classification of security propertiesfor process algebras显示文摘	Focardi R Gorrieri R	1994	Journal of Computer Security1994，3，1：	1
13	A classification of security properties for process algebras 显示文摘	FOCARDI R GORRIERI R	1995	Journal of Computer Security1995，3，1：	1
14	Feedback vertex set in hypercubes显示文摘	Focardi R	2000	Information Processing Letters2000，76，12：	1
15	A classification of security properties显示文摘	Focardi R Gorrieri R	1995	Journal of Computer Security1995，3，1：	1
16	Verifying persistent security properties显示文摘	Bossi A Focardi R Macedonio D	2004	Computer Languages Systems and Structures2004，30，34：	1
17	Unwinding in information flow security显示文摘	Bossi A Focardi R Macedonio D	2004	Electronic Notes in Theoretical Computer Science2004，99，6：	1
18	Classification of security properties显示文摘	Focardi R Gorrieri R	2001	Lecture Notes in Computer Science2001，2171，：	1
19	Real-time information flow analysis 显示文摘	Focardi R Gorrieri R Martinelli F	2003	IEEE Journal on Selected Areas in Communications2003，21，1：	1
20	A classification of security properties for process algebras 显示文摘	Focardi R Gorrieri R	1995	Journal of Computer Security1995，3，1：	1

返回顶部每页显示：

共2页首页上一页第1页下一页末页 /2 跳转

互联网出版许可证新出网证(渝)字10号全国400电话 - 免长途话费

用户提示