×

设计/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
全部的 前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 于慧群

按年份列出的引文