Trace anonymity in the OTS/CafeOBJ method

Weiqiang Kong, Kazuhiro Ogata, Jian Cheng, Kokichi Futatsugi

    研究成果: Chapter in Book/Report/Conference proceedingConference contribution

    1 被引用数 (Scopus)

    抄録

    We report on a case study in which the OTS/CafeOBJ method is used to formalize and verify trace anonymity property of distributed systems. In this case study, the property of trace anonymity is formalized with the trace notations of Observational Transition Systems (OTSs), and CafeOBJ language/system is used as an interactive theorem prover to verify that systems satisfy such property. The work presented in the paper follows the approach proposed in [3], in which I/O automaton and Larch prover are employed for handling trace anonymity.

    本文言語英語
    ホスト出版物のタイトルProceedings - 2008 IEEE 8th International Conference on Computer and Information Technology, CIT 2008
    ページ754-759
    ページ数6
    DOI
    出版ステータス出版済み - 9 22 2008
    イベント2008 IEEE 8th International Conference on Computer and Information Technology, CIT 2008 - Sydney, NSW, オーストラリア
    継続期間: 7 8 20087 11 2008

    出版物シリーズ

    名前Proceedings - 2008 IEEE 8th International Conference on Computer and Information Technology, CIT 2008

    その他

    その他2008 IEEE 8th International Conference on Computer and Information Technology, CIT 2008
    Countryオーストラリア
    CitySydney, NSW
    Period7/8/087/11/08

    All Science Journal Classification (ASJC) codes

    • Computer Science Applications
    • Information Systems

    引用スタイル