The 32nd International Colloquiumon Automata，Languages and Programming(ICALP2005)，およびTheSecondWorkshoponAutomatedReasoningforSecurityProtocoIAnalysis(ARSPA2005)参加報告

今本健二; 櫻井幸一; Kenji IMAMOTO; Kouichi SAKURAI

首页> 外文期刊>電子情報通信学会技術研究報告. 情報セキュリティ. Information Security >The 32nd International Colloquiumon Automata，Languages and Programming(ICALP2005)，およびTheSecondWorkshoponAutomatedReasoningforSecurityProtocoIAnalysis(ARSPA2005)参加報告

【24h】

The 32nd International Colloquiumon Automata，Languages and Programming(ICALP2005)，およびTheSecondWorkshoponAutomatedReasoningforSecurityProtocoIAnalysis(ARSPA2005)参加報告

机译：第32个国际古典专用自动机，语言和编程（ICALP2005），およびThesecondworkshoponautomatedReasoningForsecurityProtocoInalys（ARSPA2005）添加报告

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

2005年7月11日－7月15日にポルトガルにて開催されたICALP2005(The 32nd International Colloquium on Automata，LaJlg－Langeuaes and Prograrnming)，および7月16日に開催されたARSPA2005(The Second Workshop on Alltomated ReasoIling for Security Protocol Analysis)の開催概要について報告する．

机译：2005年7月11日 - ARSPA2005（2013年7月15日的Automata，Lajlg-Lange和计划的第32届国际上，于7月15日举行，Arspa2005（Alltomated第二次研讨会）报告了重新谋取的轮廓安全协议分析）。

著录项

来源
《電子情報通信学会技術研究報告. 情報セキュリティ. Information Security》 |2005年第290期|共6页
作者
今本健二; 櫻井幸一; Kenji IMAMOTO; Kouichi SAKURAI;
展开▼
作者单位

九州大学システム情報科学府;

九州大学システム情報科学研究院;

Graduate School of Information Science and Electrical Engineering Kyushu University;

Faculty of Information Science and Electrical Engineering Kyushu University;

展开▼
收录信息
原文格式 PDF
正文语种 jpn
中图分类通信保密与通信安全;
关键词
国際会議参加報告; Report on International Conferences;

机译：国际会议参与报告;国际会议报告;
入库时间 2022-08-20 14:07:49

相似文献

外文文献
专利

1. The 32nd International Colloquiumon Automata，Languages and Programming(ICALP2005)，およびTheSecondWorkshoponAutomatedReasoningforSecurityProtocoIAnalysis(ARSPA2005)参加報告 [J] . 今本健二, 櫻井幸一, Kenji IMAMOTO, 電子情報通信学会技術研究報告. 情報セキュリティ. Information Security . 2005,第290期

机译：第32届国际自动语言，语言和编程学术会议（ICALP2005），および安全协议自动推理第二次研讨会（ARSPA2005）参加报告
2. The 32nd International Colloquium on Automata,Languages and Programming (ICALP2005),およびThe Second Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA2005)参加報告 [J] . 今本健二, 櫻井幸一, Kenji IMAMOTO, 電子情報通信学会技術研究報告. 情報セキュリティ. Information Security . 2005,第290期

机译：第32届自动机，语言和程序设计国际学术研讨会（ICALP2005），第二届安全协议分析自动推理研讨会（ARSPA2005）参加报告
3. The 32nd International Colloquium on Automata,Languages and Programming (ICALP2005),およびThe Second Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA2005)参加報告 [J] . 今本健二, 櫻井幸一, Kenji IMAMOTO, 電子情報通信学会技術研究報告. 情報セキュリティ. Information Security . 2005,第290期

机译：第32届国际自动机，语言和编程（ICALP2005）的国际集团，第一次安全协议分析自动推理的第二次研讨会（ARSPA2005）的报告
4. 大学施設における消費エネルギーおよび空調システム性能評価報告(第1報)施設概要および天井放射冷暖房の性能評価 [C] . 織間　正行, 佐藤　二郎, 佐々木　敦灘原　秀俊, 空気調和·衛生工学会大会 . 2015

机译：大学设施的能耗和空调系统性能评估报告（第一份报告）天花板辐射采暖和制冷的设施概述和性能评估
5. 副作用自発報告データベース及び医療情報データベースを用いた、デノスマブによる低カルシウム血症に関する、発症例の検出及び行政施策の影響評価 [D] . 竹山麻由 2019

机译：使用不良反应自发报告数据库和医学信息数据库来检测由地诺单抗引起的低血钙病例并评估行政措施的影响
6. 研究会報告早稲田行政法研究会建築確認処分を取り消した裁決の取消訴訟において、補助参加および行訴法上の訴訟参加を認めた2件の決定 [O] . 中山代志子 2017

机译：研究组早稻田行政法研究组的报告做出了两项决定，允许补贴参与和参与诉讼中的诉讼，从而取消了取消施工确认书的裁决。
7. Automata. Languages and Programming - 24th International Colloquium, ICALP '97, Bologna, Italy, July 1997. Proceedings. [R] . Degano, P., Gorrieri, R., Marchetti-Spacc, A. 1997

机译：自动机。语言和编程 - 第24届国际学术讨论会，ICaLp '97，意大利博洛尼亚，1997年7月。会议录。

The 32nd International Colloquiumon Automata，Languages and Programming(ICALP2005)，およびTheSecondWorkshoponAutomatedReasoningforSecurityProtocoIAnalysis(ARSPA2005)参加報告

摘要

著录项

相似文献

相关主题

期刊订阅