Koba

Results: 102



#Item
1Type-Based Verification of Correspondence Assertions for Communication Protocols Daisuke Kikuchi and Naoki Kobayashi Graduate School of Information Sciences, Tohoku University {kikuchi,koba}@kb.ecei.tohoku.ac.jp

Type-Based Verification of Correspondence Assertions for Communication 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.is.s.u-tokyo.ac.jp

Language: English - Date: 2007-08-30 04:50:00
    2Type-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.is.s.u-tokyo.ac.jp

    Language: English - Date: 2008-12-22 04:20:35
      3OBRAS, TOMO VIIJ. Stalin Edición: Lenguas extranjeras, Moscú 1953. Lengua: Castellano. Digitalización: Koba. Distribución: http://bolchetvo.blogspot.com/

      OBRAS, TOMO VIIJ. Stalin Edición: Lenguas extranjeras, Moscú 1953. Lengua: Castellano. Digitalización: Koba. Distribución: http://bolchetvo.blogspot.com/

      Add to Reading List

      Source URL: www.formacion.psuv.org.ve

      - Date: 2013-09-29 18:55:23
        4OBRAS, TOMO IIIJ. Stalin Edición: Lenguas extranjeras, Moscú 1953 Lengua: Castellano. Digitalización: Koba. Distribución: http://bolchetvo.blogspot.com/

        OBRAS, TOMO IIIJ. Stalin Edición: Lenguas extranjeras, Moscú 1953 Lengua: Castellano. Digitalización: Koba. Distribución: http://bolchetvo.blogspot.com/

        Add to Reading List

        Source URL: www.formacion.psuv.org.ve

        - Date: 2013-09-29 19:22:12
          5OBRAS, TOMO VJ. Stalin Edición: Lenguas extranjeras, Moscú 1953 Lengua: Castellano. Digitalización: Koba. Distribución: http://bolchetvo.blogspot.com/

          OBRAS, TOMO VJ. Stalin Edición: Lenguas extranjeras, Moscú 1953 Lengua: Castellano. Digitalización: Koba. Distribución: http://bolchetvo.blogspot.com/

          Add to Reading List

          Source URL: www.formacion.psuv.org.ve

          - Date: 2013-09-29 19:07:51
            6OBRAS, TOMO IVJ. Stalin Edición: Lenguas extranjeras, Moscú 1953 Lengua: Castellano. Digitalización: Koba. Distribución: http://bolchetvo.blogspot.com/

            OBRAS, TOMO IVJ. Stalin Edición: Lenguas extranjeras, Moscú 1953 Lengua: Castellano. Digitalización: Koba. Distribución: http://bolchetvo.blogspot.com/

            Add to Reading List

            Source URL: www.formacion.psuv.org.ve

            - Date: 2013-09-29 19:16:54
              7OBRAS, TOMO XIV J. Stalin Edición: Lenguas extranjeras, Moscú 1953. Lengua: Castellano. Digitalización: Koba. Distribución: http://bolchetvo.blogspot.com/

              OBRAS, TOMO XIV J. Stalin Edición: Lenguas extranjeras, Moscú 1953. Lengua: Castellano. Digitalización: Koba. Distribución: http://bolchetvo.blogspot.com/

              Add to Reading List

              Source URL: www.formacion.psuv.org.ve

              - Date: 2013-09-29 18:16:06
                8OBRAS, TOMO XVJ. Stalin Edición: Lenguas extranjeras, Moscú 1953. Lengua: Castellano. Digitalización: Koba. Distribución: http://bolchetvo.blogspot.com/

                OBRAS, TOMO XVJ. Stalin Edición: Lenguas extranjeras, Moscú 1953. Lengua: Castellano. Digitalización: Koba. Distribución: http://bolchetvo.blogspot.com/

                Add to Reading List

                Source URL: www.formacion.psuv.org.ve

                - Date: 2013-09-29 18:09:08
                  9OBRAS, TOMO XIIJ. Stalin Edición: Lenguas extranjeras, Moscú 1953. Lengua: Castellano. Digitalización: Koba. Distribución: http://bolchetvo.blogspot.com/

                  OBRAS, TOMO XIIJ. Stalin Edición: Lenguas extranjeras, Moscú 1953. Lengua: Castellano. Digitalización: Koba. Distribución: http://bolchetvo.blogspot.com/

                  Add to Reading List

                  Source URL: www.formacion.psuv.org.ve

                  - Date: 2013-09-29 18:26:40
                    10OBRAS, TOMO VIIIJ. Stalin Edición: Lenguas extranjeras, Moscú 1953. Lengua: Castellano. Digitalización: Koba. Distribución: http://bolchetvo.blogspot.com/

                    OBRAS, TOMO VIIIJ. Stalin Edición: Lenguas extranjeras, Moscú 1953. Lengua: Castellano. Digitalización: Koba. Distribución: http://bolchetvo.blogspot.com/

                    Add to Reading List

                    Source URL: www.formacion.psuv.org.ve

                    - Date: 2013-09-29 18:50:14