找回密码
 To register

QQ登录

只需一步,快速开始

扫一扫,访问微社区

Titlebook: The Austin Protocol Compiler; Tommy M. McGuire,Mohamed G. Gouda Book 2005 Springer-Verlag US 2005 DEX.DNS.Equivalence.boundary element met

[复制链接]
查看: 21099|回复: 35
发表于 2025-3-21 18:21:13 | 显示全部楼层 |阅读模式
书目名称The Austin Protocol Compiler
编辑Tommy M. McGuire,Mohamed G. Gouda
视频video
概述Presents alternative ways of developing a network protocol discussing security protocols, implementing security protocols, abstract protocols and protocol correctness.Includes supplementary material:
丛书名称Advances in Information Security
图书封面Titlebook: The Austin Protocol Compiler;  Tommy M. McGuire,Mohamed G. Gouda Book 2005 Springer-Verlag US 2005 DEX.DNS.Equivalence.boundary element met
描述There are two groups of researchers who are interested in designing network protocols and who cannot (yet) effectively communicate with one another c- cerning these protocols. The first is the group of protocol verifiers, and the second is the group of protocol implementors. The main reason for the lack of effective communication between these two groups is that these groups use languages with quite different semantics to specify network protocols. On one hand, the protocol verifiers use specification languages whose semantics are abstract, coarse-grained, and with large atom- ity. Clearly, protocol specifications that are developed based on such semantics are easier to prove correct. On the other hand, the protocol implementors use specification languages whose semantics are concrete, fine-grained, and with small atomicity. Protocol specifications that are developed based on such - mantics are easier to implement using system programming languages such as C, C++, and Java. To help in closing this communication gap between the group of protocol verifiers and the group of protocol implementors, we present in this monograph a protocol specification language called the Timed Abstract
出版日期Book 2005
关键词DEX; DNS; Equivalence; boundary element method; compiler; implementation; network; network protocol; semanti
版次1
doihttps://doi.org/10.1007/b101038
isbn_softcover978-1-4419-3588-5
isbn_ebook978-0-387-23228-7Series ISSN 1568-2633 Series E-ISSN 2512-2193
issn_series 1568-2633
copyrightSpringer-Verlag US 2005
The information of publication is updating

书目名称The Austin Protocol Compiler影响因子(影响力)




书目名称The Austin Protocol Compiler影响因子(影响力)学科排名




书目名称The Austin Protocol Compiler网络公开度




书目名称The Austin Protocol Compiler网络公开度学科排名




书目名称The Austin Protocol Compiler被引频次




书目名称The Austin Protocol Compiler被引频次学科排名




书目名称The Austin Protocol Compiler年度引用




书目名称The Austin Protocol Compiler年度引用学科排名




书目名称The Austin Protocol Compiler读者反馈




书目名称The Austin Protocol Compiler读者反馈学科排名




单选投票, 共有 0 人参与投票
 

0票 0%

Perfect with Aesthetics

 

0票 0%

Better Implies Difficulty

 

0票 0%

Good and Satisfactory

 

0票 0%

Adverse Performance

 

0票 0%

Disdainful Garbage

您所在的用户组没有投票权限
发表于 2025-3-21 22:49:09 | 显示全部楼层
第104799主题贴--第2楼 (沙发)
发表于 2025-3-22 00:31:30 | 显示全部楼层
板凳
发表于 2025-3-22 06:53:10 | 显示全部楼层
第4楼
发表于 2025-3-22 10:05:42 | 显示全部楼层
5楼
发表于 2025-3-22 14:09:21 | 显示全部楼层
6楼
发表于 2025-3-22 17:21:40 | 显示全部楼层
7楼
发表于 2025-3-22 22:50:42 | 显示全部楼层
8楼
发表于 2025-3-23 02:07:14 | 显示全部楼层
9楼
发表于 2025-3-23 07:55:46 | 显示全部楼层
 关于派博传思  派博传思旗下网站  友情链接
派博传思介绍 公司地理位置 论文服务流程 影响因子官网 SITEMAP 大讲堂 北京大学 Oxford Uni. Harvard Uni.
发展历史沿革 期刊点评 投稿经验总结 SCIENCEGARD IMPACTFACTOR 派博系数 清华大学 Yale Uni. Stanford Uni.
|Archiver|手机版|小黑屋| 派博传思国际 ( 京公网安备110108008328) GMT+8, 2025-6-11 10:08
Copyright © 2001-2015 派博传思   京公网安备110108008328 版权所有 All rights reserved
快速回复 返回顶部 返回列表