Human competitive security protocols synthesis

被引：0

作者：

Chen, Hao ^{[1
]}

Clark, John ^{[1
]}

Jacob, Jeremy ^{[1
]}

机构：

[1] Univ York, York, N Yorkshire, England

来源：

GECCO 2006: GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, VOL 1 AND 2 | 2006年

关键词：

security protocols; belief logic; protocol synthesis; heuris tic search; efficiency requirements; protocol refinement;

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

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

引用

页码：1855 / +

页数：2