Analisis Formal Protokol Autentikasi Badar et al. Menggunakan Tamarin Prover

Search by :

ALL Author Subject ISBN/ISSN Advanced Search

Last search:

Text

Analisis Formal Protokol Autentikasi Badar et al. Menggunakan Tamarin Prover

Syafrizal Ananta Adhitya - Personal Name; Bety Hayat Susanti - Personal Name; Sepha Siswantyo - Personal Name; Yeni Farida - Personal Name;

Description Not Available

Availability

Rekayasa Kriptografi (Ruang TA) 2024 SYA a

TA20240202025

Available - Read on Location

Rekayasa Kriptografi (Ruang TA) 2024 SYA a

TA20240202026

Available - Read on Location

Detail Information

Series Title: -
Call Number: 2024 SYA a
Publisher: : .,
Collation: -
Language
ISBN/ISSN: -
Classification: NONE
Content Type: -
Media Type: -
Carrier Type: -
Edition: -
Subject(s): smart grid
Tamarin Prover
Analisis Formal Protokol
AnProtokol Autentikasi Badar et al.
Specific Detail Info: -
Statement of Responsibility: -

Other Information

Link: -
Daftar Isi: -

Other version/related

No other version available

File Attachment

No Data

Comments

You must be logged in to post a comment