首页> 外文期刊>電子情報通信学会技術研究報告. 情報セキュリティ. Information Security >The 32nd International Colloquium on Automata,Languages and Programming (ICALP2005),およびThe Second Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA2005)参加報告
【24h】

The 32nd International Colloquium on Automata,Languages and Programming (ICALP2005),およびThe Second Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA2005)参加報告

机译:第32届自动机,语言和程序设计国际学术研讨会(ICALP2005),第二届安全协议分析自动推理研讨会(ARSPA2005)参加报告

获取原文
获取原文并翻译 | 示例
       

摘要

2005年7月11日-7月15日にポルトガルにて開催されたICALP2005 (The 32nd International Colloquium on Automata, Languages and Programming),および7月16日に開催されたARSPA2005 (The Second Workshop on Automated Reasoning for Security Protocol Analysis)の開催概要について報告する.本稿では,今年7月11日から15日にポルトガル·リスボンのGulbenkian Foundationにて開催されたICALP2005 (The 32nd International Colloquium on Automata, Languages and Programming)の参加報告を行う.本会議では,計算可能性,オートマトン,フォーマル言語,アルゴリズム解析,計算困難性,プログラミング言語定義の数学的検討,プログラミング言語の論理およびセマンティクス,論理プログラミングの基礎,定理証明,ソフトウェア記述,暗号,並列分散計算など,さまざまなテーマが取り扱われている.本会議は,1972年にフランス·パリで第1回会議が開催されて以来,ヨーロッパでほぼ毎年開催されており,今年で32回目になる.今回の会議では,以下の3つのトラックが並列に開催された:(トラックA)Algorithms,Automata,Complexity and Games,(トラックB)Logic,Semantics and Theory of Programming,(トラックC)Security and Cryptography Foundations.このうち,トラックCは今年から初めて開催されるトラックであり,セキュリティや暗号についての問題を取り扱っている.本稿では,トラックCで発表された論文を紹介する.ICALP2005で発表された論文はLNCS3580として出版される.
机译:2005年7月11日-ICALP2005(第32届自动机,语言和程序设计国际学术研讨会)于7月15日在葡萄牙举行,而ARSPA2005(第二届自动推理研讨会)于7月16日举行。我们报告了安全协议分析的概要)。本文报道了今年7月11日至15日在葡萄牙里斯本的Gulbenkian基金会举行的ICLP2005(第32届自动机,语言和编程国际学术讨论会)的参与情况。在这次会议上,可计算性,自动机,形式语言,算法分析,计算难度,编程语言定义的数学检验,编程语言的逻辑和语义,逻辑编程的基础,定理证明,软件描述,加密,并行分发处理诸如计算的各种主题。自1972年在法国巴黎举行第一次会议以来,该会议几乎每年都在欧洲举行,今年已是第32届。在本次会议上并行举行了以下三个活动:(活动A)算法,自动机,复杂性和游戏,(活动B)逻辑,语义和编程理论,(活动C)安全和密码学基础。其中,Track C是今年首次举办,涉及安全性和加密问题。本文介绍了在Track C上发表的论文。在ICALP2005上发表的论文将以LNCS3580的形式发布。

著录项

相似文献

  • 外文文献
  • 中文文献
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号