×
作者ID: 布拉金·奇亚拉“Braghin,Chiara”最近发表的zbMATH文章
发布日期: 奇亚拉·布拉金
外部链接: MGP公司
编入索引的文档: 9出版物自2002年起
合著者: 10位合著者具有9联合出版物
235位合作作者

按年份列出的出版物

zbMATH Open中包含的引文

8出版物有被引用24中的次18文件 引用人 年份
具有持续特征的二元完美系统发育。 Zbl 1250.92035号
鲍拉·博尼佐尼;奇亚拉·布拉金;里卡多·唐迪;加布里埃拉·特鲁科
6
2012
具有安全边界的移动环境的控制流分析。 Zbl 1048.68025号
恰拉·布拉金;阿戈斯蒂诺·科尔特斯;里卡多·福卡迪
4
2002
移动环境中的安全边界。 Zbl 1028.68004号
奇亚拉·布拉金;阿戈斯蒂诺·科尔特斯;里卡多·福卡迪
2002
边界环境中的信息流安全。 Zbl 1147.68330号
奇亚拉·布拉金;阿戈斯蒂诺Cortesi;里卡多·福卡迪
2008
一种基于模型检查的移动系统安全策略验证方法。 Zbl 1242.68153号
奇亚拉·布拉金;娜塔莎·莎莉吉娜;凯特琳娜·巴罗内·阿德斯
2011
BANANA–边界环境嵌套分析工具。 Zbl 1031.68659号
奇亚拉·布拉金;阿戈斯蒂诺·科尔特斯;斯特凡诺·菲利波内;里卡多·福卡迪;弗拉米尼娅·卢西奥。;卡拉广场
2
2003
移动环境的嵌套分析。 Zbl 1072.68066号
布拉金,基亚拉;阿戈斯蒂诺·科尔特斯;里卡多·福卡迪;弗拉米尼娅·卢西奥。;卡拉广场
2
2004
边界环境中的信息泄漏检测。 Zbl 1270.68206号
奇亚拉·布拉金;阿戈斯蒂诺·科尔特斯;里卡多·福卡迪
1
2003
具有持续特征的二元完美系统发育。 Zbl 1250.92035号
鲍拉·博尼佐尼;奇亚拉·布拉金;里卡多·唐迪;加布里埃拉·特鲁科
6
2012
一种基于模型检查的移动系统安全策略验证方法。 Zbl 1242.68153号
恰拉·布拉金;娜塔莎·莎莉吉娜;凯特琳娜·巴罗内·阿德斯
2011
边界环境中的信息流安全。 Zbl 1147.68330号
奇亚拉·布拉金;阿戈斯蒂诺·科尔特斯;里卡多·福卡迪
2008
移动环境的嵌套分析。 Zbl 1072.68066号
奇亚拉·布拉金;阿戈斯蒂诺Cortesi;里卡多·福卡迪;弗拉米尼娅·卢西奥。;卡拉广场
2
2004
BANANA–边界环境嵌套分析工具。 Zbl 1031.68659号
奇亚拉·布拉金;阿戈斯蒂诺·科尔特斯;斯特凡诺·菲利波内;里卡多·福卡迪;弗拉米尼娅·卢西奥。;卡拉广场
2
2003
边界环境中的信息泄漏检测。 Zbl 1270.68206号
奇亚拉·布拉金;阿戈斯蒂诺·科尔特斯;里卡多·福卡迪
1
2003
具有安全边界的移动环境的控制流分析。 Zbl 1048.68025号
奇亚拉·布拉金;阿戈斯蒂诺·科尔特斯;里卡多·福卡迪
4
2002
移动环境中的安全边界。 Zbl 1028.68004号
奇亚拉·布拉金;阿戈斯蒂诺·科尔特斯;里卡多·福卡迪
2002

按年份列出的引文