Human competitive security protocols synthesis

机译：人类竞争安全协议综合

获取原文

页面导航

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

摘要

This poster paper outlines a method for a search based approach to the development of provably correct protocols.

机译：这篇海报论文概述了一种基于方式的搜索方法的方法的方法，可以提供可释放的正确协议。

著录项

来源
《Annual conference on Genetic and evolutionary computation》|2006年||共2页
会议地点
作者
Hao Chen; John Clark; Jeremy Jacob; PHao Chen; PJohn Clark; PJeremy Jacob;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类生物工程学（生物技术）;
关键词
security protocols;

机译：安全协议;

相似文献

外文文献
中文文献
专利

1. Security Proofs for Protocols Involving Humans [J] . KENNETH RADKE, COLIN BOYD The Computer journal . 2017,第4期

机译：涉及人类的协议的安全证明
2. Security Protocols and Privacy Issues into 6LoWPAN Stack: A Synthesis [J] . Hennebert C., Santos J.D. Internet of Things Journal, IEEE . 2014,第5期

机译：6LoWPAN堆栈中的安全协议和隐私问题：综合
3. Synthesis of attack actions using model checking for the verification of security protocols [J] . Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis Security and communication networks . 2011,第2期

机译：使用模型检查综合攻击行为以验证安全协议
4. Human competitive security protocols synthesis [C] . Hao Chen, John Clark, Jeremy Jacob, Annual conference on Genetic and evolutionary computation;Conference on Genetic and evolutionary computation . 2006

机译：人类竞争性安全协议综合
5. Information security and quantum mechanics: Security of quantum protocols. [D] . Boykin, Patrick Oscar. 2002

机译：信息安全性和量子力学：量子协议的安全性。
6. Protocol and the post-human performativity of security techniques [O] . Nathaniel O’Grady -1

机译：协议和安全技术在人类后的表现
7. A Security Analysis Method of Security Protocol Implementation Based on Unpurified Security Protocol Trace and Security Protocol Implementation Ontology [O] . Xudong He, Jiabing Liu, Chin-Tser Huang, 2019

机译：基于未培养的安全协议跟踪和安全协议实现本体的安全协议实现安全分析方法
8. Toward Synthesis, Analysis, and Certification of Security Protocols [R] . Schumann, Johann 2004

机译：走向安全协议的综合，分析和认证

Human competitive security protocols synthesis

摘要

著录项

相似文献

相关主题

期刊订阅