Ditapis dengan

  • Tahun Penerbitan
    To
  • Ketersediaan
  • Lampiran
  • Tipe Koleksi
    Lihat Lebih Banyak
  • Format Fisik Dokumen
    Lihat Lebih Banyak
  • Lokasi
    Lihat Lebih Banyak
  • Bahasa
    Lihat Lebih Banyak
Ditemukan 2 dari pencarian Anda melalui kata kunci: author="Martinelli, Fabio."
cover
Foundations of Security Analysis and Design III
Komentar Bagikan
Aldini, Alessandro.Gorrieri, Roberto.Martinelli, Fabio.

FOSAD 2004 (6-11 September 2004) -- Justifying a Dolev-Yao Model Under Active Attacks -- Model-Based Security Engineering with UML -- A Tutorial on Physical Security and Side-Channel Attacks -- Static Analysis of Authentication -- FOSAD 2005 (19-24 September 2005) -- Formal Methods for Smartcard Security -- Privacy-Preserving Database Systems -- Intrusion Detection: Introduction to Intrusion De…

Edisi
1st ed.
ISBN/ISSN
9783540319368
Deskripsi Fisik
VIII, 276 p.online resource.
Judul Seri
-
No. Panggil
-
cover
Formal Aspects in Security and Trust
Komentar Bagikan
Dimitrakos, Theo.Martinelli, Fabio.

Security Issues in the Tuple-Space Coordination Model -- Information Flow Analysis for Probabilistic Timed Automata -- Dynamic Security Labels and Noninterference (Extended Abstract) -- Formal Analysis of a Fair Payment Protocol -- Pattern-Matching Spi-Calculus -- Decidability of Opacity with Non-Atomic Keys -- Virtual Analysis and Reduction of Side-Channel Vulnerabilities of Smartcards -- Fami…

Edisi
1st ed.
ISBN/ISSN
9780387240985
Deskripsi Fisik
X, 246 p.online resource.
Judul Seri
-
No. Panggil
-