Napredna pretraga

Pregled bibliografske jedinice broj: 698722

Bounded Memory Protocols


Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre
Bounded Memory Protocols // Computer languages systems & structures, 40 (2014), 3/4; 137-154 doi:10.1016/j.cl.2014.05.003 (međunarodna recenzija, članak, znanstveni)


Naslov
Bounded Memory Protocols

Autori
Kanovich, Max ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre

Izvornik
Computer languages systems & structures (1477-8424) 40 (2014), 3/4; 137-154

Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni

Ključne riječi
Protocol security; Dolev-Yao adversary; secrecy problem; complexity; undecidability

Sažetak
It is well-known that the Dolev-Yao adversary is a powerful adversary. Besides acting as the network, intercepting, decomposing, composing and sending messages, he can remember as much information as he needs. That is, his memory is unbounded. We recently proposed a weaker Dolev- Yao like adversary, which also acts as the network, but whose memory is bounded. We showed that this Bounded Memory Dolev-Yao adversary, when given enough memory, can carry out many existing protocol anomalies. In particular, the known anomalies arise for bounded memory protocols, where although the total number of sessions is unbounded, there is only a bounded number of concurrent sessions and the honest participants of the protocol cannot remember an unbounded number of facts nor an unbounded number of nonces at a time. This led us to the question of whether it is possible to infer an upper-bound on the memory required by the Dolev-Yao adversary to carry out an anomaly from the memory restrictions of the bounded protocol. This paper answers this question negatively (Theorem 8).

Izvorni jezik
Engleski

Znanstvena područja
Matematika, Računarstvo, Filozofija



POVEZANOST RADA


Projekt / tema
009-0091328-0941 - Logika i stvarnost (Majda Trobok, )
120-1203164-3074 - Matematička logika i primjene (Zvonimir Šikić, )

Ustanove
Filozofski fakultet, Rijeka,
Fakultet strojarstva i brodogradnje, Zagreb,
Sveučilište u Rijeci - Odjel za matematiku

Autor s matičnim brojem:
Tajana Ban-Kirigin, (229313)

Časopis indeksira:


  • Current Contents Connect (CCC)
  • Web of Science Core Collection (WoSCC)
    • Science Citation Index Expanded (SCI-EXP)
    • SCI-EXP, SSCI i/ili A&HCI
  • Scopus


Uključenost u ostale bibliografske baze podataka:


  • Information Science Abstracts
  • Zentrallblatt für Mathematik/Mathematical Abstracts
  • Scopus
  • Artificial Intelligence Abstracts
  • CompuScience
  • Cambridge Scientific Abstracts
  • Computer Contents
  • Engineering Index
  • Research Alert
  • SSSA/CISA/ECA/ISMEC


Citati