设计/CPN swMATH ID: 1952 软件作者: 艾萨姆·阿佐尼(Issam Al-Azzoni);道格拉斯·G·唐。 描述: 使用有色Petri网和Design/CPN对密码协议进行建模和验证 主页: http://cpntools.org/ 相关软件: CPN/工具;PNML公司;TINA公司;毫升;SYROCO公司;清爽;mCRL2型;沃夫兰;自旋蛋白;第4.5条;糠;克罗诺斯;UCI-毫升;GPenSIM卡;LOOPN(回路)++;艾菲尔铁塔;贝塔;Reo公司;棱镜;洛拉 引用于: 35文件 更多出版物: http://cpntools.org/publications 标准条款 1出版物描述软件,包括1出版物在zbMATH中 年份 使用有色Petri网和Design/CPN对密码协议进行建模和验证。 Zbl 1087.68033号艾萨姆·阿佐尼;道格拉斯·G·唐。 2005 全部的 前5名64位作者引用 9 克里斯滕森,拉尔斯·迈克尔 三 查尔斯·拉科斯。 三 托马斯·梅隆德 三 朱莉娅·帕德伯格 2 索伦·克里斯滕森 2 埃里克·P·德文克。 2 哈特穆特·埃里格 2 库尔特·延森 2 沃伊切赫,彭泽克 2 阿加塔·波罗拉 1 艾萨姆·阿佐尼 1 巴德里亚Al-Riyami 1 罗斯安格拉阿尔伯克基 1 阿吉洛夫,V.S。 1 保罗·巴尔丹 1 卢西亚诺·巴雷西 1 Guilherme A.巴雷托。 1 乔瓦尼·巴罗佐(Giovanni C.Barroso)。 1 卡米拉Barylska 1 贝洛格拉佐夫,D.M。 1 阿德尔·本·穆纳乌尔 1 韦斯纳Bosilj-Vuksic 1 Aleksandr V.拜斯特罗夫。 1 克劳迪娜·朝义亚 1 切特韦尔塔科夫,E.A。 1 楚里娜,T.G。 1 尼科莱塔·科科 1 科内利·朱尼尔 1 Cotronis,J.Y。 1 道格拉斯·G·唐。 1 克劳迪娅·埃尔梅尔 1 埃萨尼,Furqan Hussain 1 梅克·加杰夫斯基 1 安娜·果戈林斯卡 1 Gradišar博士。 1 哈菲迪,Y。 1 萨贾德·海德尔(Sajjad A.Haider)。 1 弗拉特卡,赫卢皮克 1 凯瑟琳·霍夫曼 1 科杰尔德·Höyer Mortensen 1 杰根森,延斯·伯克 1 纳塔利娅·科卡什 1 克里斯蒂安·克劳斯 1 赖元成 1 格伦·刘易斯 1 林毅能 1 林英达 1 路易斯·洛伦森 1 安德烈亚·马林 1 蒂尔·莫萨科夫斯基 1 穆希奇、加什佩尔 1 伊萨·纳杰菲 1 瓦莱里·A·内波米纳西。 1 毛罗·佩泽尔 1 钱志林 1 伊丽莎白·雷米 1 玛尔塔·西蒙 1 孙华 1 丹尼斯·蒂夫里 1 扎卡里亚斯·齐亚特苏利斯 1 乌尔巴舍克,米兰 1 安蒂·瓦尔马里 1 杨念华 1 于慧群 全部的 前5名18篇连载文章中引用 2 计算机基础理论 1 编程和计算机软件 1 理论计算机科学 1 计算机程序设计科学 1 并行计算 1 数学和计算机建模 1 计算的形式方面 1 并行与分布式计算杂志 1 离散事件动态系统 1 北欧计算机杂志 1 Informatica(卢布尔雅那) 1 动力系统的数学和计算机建模 1 自然计算 1 离散算法杂志 1 计算智能研究 1 算法 1 国际非线性分析与应用杂志 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在7个字段中引用 33 计算机科学(68-XX) 4 运筹学、数学规划(90-XX) 2 系统论;控制(93至XX) 1 数学逻辑和基础(03-XX) 1 概率论与随机过程(60-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文