Koba

Results: 102



#Item
21Type-Based Automated Verification of Authenticity in Cryptographic Protocols Daisuke Kikuchi and Naoki Kobayashi Graduate School of Information Sciences, Tohoku University {kikuchi,koba}@kb.ecei.tohoku.ac.jp

Type-Based Automated Verification of Authenticity in Cryptographic Protocols Daisuke Kikuchi and Naoki Kobayashi Graduate School of Information Sciences, Tohoku University {kikuchi,koba}@kb.ecei.tohoku.ac.jp

Add to Reading List

Source URL: www.kb.ecei.tohoku.ac.jp

Language: English - Date: 2008-12-22 04:20:35
    22Undecidability of 2-Label BPP Equivalences and Behavioral Type Systems for the π-Calculus Naoki Kobayashi Takashi Suto {koba,tsuto}@kb.ecei.tohoku.ac.jp Tohoku University

    Undecidability of 2-Label BPP Equivalences and Behavioral Type Systems for the π-Calculus Naoki Kobayashi Takashi Suto {koba,tsuto}@kb.ecei.tohoku.ac.jp Tohoku University

    Add to Reading List

    Source URL: www-kb.is.s.u-tokyo.ac.jp

    Language: English - Date: 2007-04-23 05:55:35
      23Undecidability of 2-Label BPP Equivalences and Behavioral Type Systems for the π-Calculus Naoki Kobayashi and Takashi Suto Tohoku University {koba,tsuto}@kb.ecei.tohoku.ac.jp

      Undecidability of 2-Label BPP Equivalences and Behavioral Type Systems for the π-Calculus Naoki Kobayashi and Takashi Suto Tohoku University {koba,tsuto}@kb.ecei.tohoku.ac.jp

      Add to Reading List

      Source URL: www-kb.is.s.u-tokyo.ac.jp

      Language: English - Date: 2007-04-23 04:50:13
        24Undecidability of 2-Label BPP Equivalences and Behavioral Type Systems for the π-Calculus Naoki Kobayashi Takashi Suto {koba,tsuto}@kb.ecei.tohoku.ac.jp Tohoku University

        Undecidability of 2-Label BPP Equivalences and Behavioral Type Systems for the π-Calculus Naoki Kobayashi Takashi Suto {koba,tsuto}@kb.ecei.tohoku.ac.jp Tohoku University

        Add to Reading List

        Source URL: www.kb.ecei.tohoku.ac.jp

        Language: English - Date: 2007-04-23 05:55:35
          25

          PDF Document

          Add to Reading List

          Source URL: www.koba-pack.co.jp

          Language: Japanese - Date: 2010-07-02 00:53:09
            26

            PDF Document

            Add to Reading List

            Source URL: www.koba-pack.co.jp

            Language: Japanese - Date: 2010-04-08 00:52:38
              27

              PDF Document

              Add to Reading List

              Source URL: www.koba-ladies.jp

              - Date: 2008-07-25 03:19:47
                28

                PDF Document

                Add to Reading List

                Source URL: www.koba-pack.co.jp

                Language: Vietnamese - Date: 2010-03-16 02:15:11
                  29<32303135303430318353815B837C815B836794CC948489BF8A69955C2E786C73>

                  <32303135303430318353815B837C815B836794CC948489BF8A69955C2E786C73>

                  Add to Reading List

                  Source URL: www.koba-archi.com

                  Language: Japanese - Date: 2016-01-16 04:23:13
                    30EKONOMICKÝ A STRATEGICKÝ VÝZKUM 11. května 2015 Výhled pro finanční trhy Týdenní zpráva

                    EKONOMICKÝ A STRATEGICKÝ VÝZKUM 11. května 2015 Výhled pro finanční trhy Týdenní zpráva

                    Add to Reading List

                    Source URL: www.koba.sk

                    - Date: 2015-05-11 12:07:07