Pretraga

Pretražite po imenu i prezimenu autora, mentora, urednika, prevoditelja

Napredna pretraga

Pregled bibliografske jedinice broj: 1218961

Conditional Observational Equivalence and Off-Line Guessing Attacks in Multiset Rewriting

Paradžik, Petar; Derek Ante
Conditional Observational Equivalence and Off-Line Guessing Attacks in Multiset Rewriting // 2022 IEEE 35th Computer Security Foundations Symposium (CSF)
Haifa, Izrael, 2022. str. 1-16 doi:10.1109/CSF54842.2022.00001 (poster, međunarodna recenzija, sažetak, znanstveni)

CROSBI ID: 1218961 Za ispravke kontaktirajte CROSBI podršku putem web obrasca

Naslov
Conditional Observational Equivalence and Off-Line Guessing Attacks in Multiset Rewriting

Autori
Paradžik, Petar ; Derek Ante

Vrsta, podvrsta i kategorija rada
Sažeci sa skupova, sažetak, znanstveni

Skup
2022 IEEE 35th Computer Security Foundations Symposium (CSF)

Mjesto i datum
Haifa, Izrael, 07.08.2022. - 10.08.2022

Vrsta sudjelovanja
Poster

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
observational equivalence, off-line guessing, EKE, PAKE, multiset rewriting

Sažetak
We propose conditional observational equivalence — a variant of observational equivalence that is more flexible since it can be made dependent on arbitrary safety trace properties. We extend an existing method for verifying observational equivalence in the multiset rewriting setting with the ability to handle conditions. Our extension can automatically verify conditional observational equivalence for a simple class of conditions that depend only on the structure of the execution. By using conditional observational equivalence, we give the first method for verifying off-line guessing resistance in the multiset rewriting setting and apply it to analyze and verify the properties of EAP-EKE, a password-authenticated key exchange (PAKE) protocol.

Izvorni jezik
Engleski

Znanstvena područja
Računarstvo



POVEZANOST RADA

Projekti:
--KK.01.1.1.01.009 - Napredne metode i tehnologije u znanosti o podatcima i kooperativnim sustavima (DATACROSS) (Šmuc, Tomislav; Lončarić, Sven; Petrović, Ivan; Jokić, Andrej; Palunko, Ivana) ( CroRIS)

Ustanove:
Fakultet elektrotehnike i računarstva, Zagreb

Profili:

Avatar Url Ante Đerek (autor)

Avatar Url Petar Paradžik (autor)

Poveznice na cjeloviti tekst rada:

doi doi.ieeecomputersociety.org

Citiraj ovu publikaciju:

Paradžik, Petar; Derek Ante
Conditional Observational Equivalence and Off-Line Guessing Attacks in Multiset Rewriting // 2022 IEEE 35th Computer Security Foundations Symposium (CSF)
Haifa, Izrael, 2022. str. 1-16 doi:10.1109/CSF54842.2022.00001 (poster, međunarodna recenzija, sažetak, znanstveni)
Paradžik, P. & Derek Ante (2022) Conditional Observational Equivalence and Off-Line Guessing Attacks in Multiset Rewriting. U: 2022 IEEE 35th Computer Security Foundations Symposium (CSF) doi:10.1109/CSF54842.2022.00001.
@article{article, author = {Parad\v{z}ik, Petar}, year = {2022}, pages = {1-16}, DOI = {10.1109/CSF54842.2022.00001}, keywords = {observational equivalence, off-line guessing, EKE, PAKE, multiset rewriting}, doi = {10.1109/CSF54842.2022.00001}, title = {Conditional Observational Equivalence and Off-Line Guessing Attacks in Multiset Rewriting}, keyword = {observational equivalence, off-line guessing, EKE, PAKE, multiset rewriting}, publisherplace = {Haifa, Izrael} }
@article{article, author = {Parad\v{z}ik, Petar}, year = {2022}, pages = {1-16}, DOI = {10.1109/CSF54842.2022.00001}, keywords = {observational equivalence, off-line guessing, EKE, PAKE, multiset rewriting}, doi = {10.1109/CSF54842.2022.00001}, title = {Conditional Observational Equivalence and Off-Line Guessing Attacks in Multiset Rewriting}, keyword = {observational equivalence, off-line guessing, EKE, PAKE, multiset rewriting}, publisherplace = {Haifa, Izrael} }

Citati:

    Altmetrijski pokazatelji:


    Podijeli:





    Contrast
    Increase Font
    Decrease Font
    Dyslexic Font
    CROSBI koristi kolačiće (cookies) kako bi poboljšao funkcionalnost stranice.