×
作者ID: 西斯托·里卡多“Sisto,Riccardo”最近发表的zbMATH文章
发布日期: 里卡多·西斯托
已编制索引的文档: 11出版物自1995年起
合著者: 11位合著者具有11联合出版物
67位合作作者

按年份列出的出版物

zbMATH Open中包含的引文

6出版物有被引用7中的次6文件 引用人 年份
将带约束弧的Petri网映射到基本LOTOS行为表达式。 Zbl 1048.68515号
里卡多·西斯托;阿德里亚诺·瓦伦扎诺
2
1995
在模型检查中使用垃圾收集。 Zbl 0976.68574号
拉杜·奥西夫;里卡多·西斯托
1
2000
一种新的密码协议分析知识表示策略。 Zbl 1031.94514号
Cibrario B.,伊凡;卢卡·杜兰特;里卡多·西斯托;阿德里亚诺·瓦伦扎诺
1
2003
使用SPIN验证加密协议的安全属性。 Zbl 1077.68696号
马吉,保罗;里卡多·西斯托
1
2002
正式安全协议模型中数据编码的安全抽象。 Zbl 1322.68070号
阿尔弗雷多·皮隆蒂;里卡多·西斯托
1
2014
在密码协议分析中引入交换和关联运算符。 Zbl 1279.94066号
伊万·西巴里奥·贝托洛蒂;卢卡·杜兰特;里卡多·西斯托;阿德里亚诺·瓦伦扎诺
1
2003
正式安全协议模型中数据编码的安全抽象。 Zbl 1322.68070号
阿尔弗雷多·皮隆蒂;里卡多·西斯托
1
2014
一种新的密码协议分析知识表示策略。 Zbl 1031.94514号
Cibrario B.,伊凡;卢卡·杜兰特;里卡多·西斯托;阿德里亚诺·瓦伦扎诺
1
2003
在密码协议分析中引入交换运算符和结合运算符。 Zbl 1279.94066号
伊万·西巴里奥·贝托洛蒂;卢卡·杜兰特;里卡多·西斯托;阿德里亚诺·瓦伦扎诺
1
2003
使用SPIN验证加密协议的安全属性。 Zbl 1077.68696号
马吉,保罗;里卡多·西斯托
1
2002
在模型检查中使用垃圾收集。 Zbl 0976.68574号
拉杜·奥西夫;里卡多·西斯托
1
2000
将带约束弧的Petri网映射到基本LOTOS行为表达式。 Zbl 1048.68515号
里卡多·西斯托;阿德里亚诺·瓦伦扎诺
2
1995

在1个字段中引用

6 计算机科学(68-XX)

按年份列出的引文