Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

An Approach to Automated Design of Security Protocols

Identifikátory výsledku

  • Kód výsledku v IS VaVaI

    <a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F06%3APU66888" target="_blank" >RIV/00216305:26230/06:PU66888 - isvavai.cz</a>

  • Výsledek na webu

  • DOI - Digital Object Identifier

Alternativní jazyky

  • Jazyk výsledku

    angličtina

  • Název v původním jazyce

    An Approach to Automated Design of Security Protocols

  • Popis výsledku v původním jazyce

    This paper deals with a formal specification approach that supports the design of security protocols. After introduction to communication protocols and description of the current problems in the design process, the subsequent section of the paper reviewsa framework that is based on the genetic-programming approach. The original contribution consists of presentation of automated system to demonstrate the utilization of this approach for designing protocols that can establish secure communication. Moreover, this paper compares analytical and automated technique that might be used in the design process.

  • Název v anglickém jazyce

    An Approach to Automated Design of Security Protocols

  • Popis výsledku anglicky

    This paper deals with a formal specification approach that supports the design of security protocols. After introduction to communication protocols and description of the current problems in the design process, the subsequent section of the paper reviewsa framework that is based on the genetic-programming approach. The original contribution consists of presentation of automated system to demonstrate the utilization of this approach for designing protocols that can establish secure communication. Moreover, this paper compares analytical and automated technique that might be used in the design process.

Klasifikace

  • Druh

    D - Stať ve sborníku

  • CEP obor

    JC - Počítačový hardware a software

  • OECD FORD obor

Návaznosti výsledku

  • Projekt

    Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.

  • Návaznosti

    Z - Vyzkumny zamer (s odkazem do CEZ)

Ostatní

  • Rok uplatnění

    2006

  • Kód důvěrnosti údajů

    S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Údaje specifické pro druh výsledku

  • Název statě ve sborníku

    Proceedings of the International Conference on Networking (ICN 2006)

  • ISBN

    0-7695-2552-0

  • ISSN

  • e-ISSN

  • Počet stran výsledku

    4

  • Strana od-do

  • Název nakladatele

    IEEE Computer Society

  • Místo vydání

    Los Alamitos

  • Místo konání akce

    Morne

  • Datum konání akce

    23. 4. 2006

  • Typ akce podle státní příslušnosti

    WRD - Celosvětová akce

  • Kód UT WoS článku