Search Results for Analysis.

4 sonuç bulundu

Arama sonuçlarına abone ol

Tümünü Seç

1

Liste görünümüne geç

Küçük resim görünümüne geç

0000DEFAULTTR

Yazdır

1.

Security Standardisation Research Second International Conference, SSR 2015, Tokyo, Japan, December 15-16, 2015, Proceedings için kapak resmi

Security Standardisation Research Second International Conference, SSR 2015, Tokyo, Japan, December 15-16, 2015, Proceedings

Security Standardisation Research Second International Conference, SSR 2015, Tokyo, Japan, December 15-16, 2015, Proceedings

Yazar

Chen, Liqun. editor.

http://dx.doi.org/10.1007/978-3-319-27152-1

Format:

Electronic Resources

Alıntı:

: bitcoin and payment; protocol and API; analysis on cryptographic algorithm; privacy; and trust and formal

2.

Security Standardisation Research First International Conference, SSR 2014, London, UK, December 16-17, 2014. Proceedings için kapak resmi

Security Standardisation Research First International Conference, SSR 2014, London, UK, December 16-17, 2014. Proceedings

Security Standardisation Research First International Conference, SSR 2014, London, UK, December 16-17, 2014. Proceedings

Yazar

Chen, Liqun. editor.

http://dx.doi.org/10.1007/978-3-319-14054-4

Format:

Electronic Resources

Alıntı:

-- Analysis with formal methods -- Potential future areas of standardisation.- Improving existing standards.

3.

Dynamic Secrets in Communication Security için kapak resmi

Dynamic Secrets in Communication Security

Dynamic Secrets in Communication Security

Yazar

Xiao, Sheng. author.

http://dx.doi.org/10.1007/978-1-4614-7831-7

Format:

Electronic Resources

Alıntı:

Security -- Dynamic Key Management in a Smart Grid -- Secrecy in Communications -- Reliability Analysis for

4.

Engineering Secure Software and Systems 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014, Proceedings için kapak resmi

Engineering Secure Software and Systems 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014, Proceedings

Engineering Secure Software and Systems 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014, Proceedings

Yazar

Jürjens, Jan. editor.

http://dx.doi.org/10.1007/978-3-319-04897-0

Format:

Electronic Resources

Alıntı:

-- Quantitative Security Analysis for Programs with Low Input and Noisy Output -- A Modeling and Formal Approach

Tümünü Seç

1

4 sonuç bulundu

Arama sonuçlarına abone ol

Arama Sonuçlarını Sınırlandır

TED Üniversitesi

Ziya Gökalp Caddesi No.48 06420, Kolej Çankaya Ankara Tel: +90 312 585 0083

Powered by Informascope

Copyright 2023 Sirsi Corporation - Enterprise Version 5.2.1.2