几何学 搜索术语几何学在里面任何字段.查询是与案件无关.
 搜索澳大利亚雷神和ti公司tle公司. Theand运算符&是默认值,可以省略.
切比雪夫 这个or运算符|允许搜索切比雪夫或切比雪夫.
"准地图", 结果文件有p出版是的耳朵 1989.
so:欧元*J*材料*Soc*cc:14 搜索特定出版物所以乌尔奇用一个数学学科C分类c颂歌(复写的副本)在里面14.
 这个d文件t类型设置为书本;或者:j对于期刊文章一对于书籍文章.
洛杉矶:中国人 在给定的洛杉矶语言.ISO 639-1标准也可以使用语言代码.
总结:开发安全关键系统是困难的,在实践中有许多众所周知的安全弱点的例子.因此,迫切需要一种可靠的方法来支持安全系统的开发.特别是,在安全系统的构建中,一个重要的缺失环节是找到一种实用的方法来创建可靠的安全加密协议实现.我们提出了一种方法,旨在通过使用域特定语言来实现加密协议来满足这一需求.我们可以使用这种语言来构造一个紧凑而精确但可执行的密码协议表示.这个高级程序可以使用一阶逻辑的自动定理证明器,根据安全目标进行验证.然后可以通过生成测试用例来使用它为加密协议的遗留实现提供保证.
[12] E, Fernández Medina,A.Martı'nez,C.Medina,M.Piattini,用于安全数据库设计的UML:在数据库设计过程中集成安全级别,用户角色和约束,见:Jürjens等人[19],第93-106页.
[17] Jürjens,J.,使用UML进行基于模型的安全工程的可靠方法和有效工具,()
[20] J, Jürjens,P.Shabalin,"使用UML进行安全系统开发的工具".实习生.技术转让软件工具杂志,9(5-6),527-5442007年10月.受邀于2004年5月第5期特别报道.
此参考列表基于出版商或数字数学图书馆提供的信息.它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误.它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性.