Search Results for Automatic control.

5 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ç

00000DEFAULTTR

Yazdır

1.

Cyber Security: Power and Technology için kapak resmi

Cyber Security: Power and Technology

Cyber Security: Power and Technology

Yazar

Lehto, Martti. editor.

https://doi.org/10.1007/978-3-319-75307-2

Format:

Electronic Resources

Alıntı:

Intelligent Systems, Control and Automation: Science and Engineering,

2.

Principles of Security and Trust 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings için kapak resmi

Principles of Security and Trust 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Principles of Security and Trust 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Yazar

Piessens, Frank. editor.

http://dx.doi.org/10.1007/978-3-662-49635-0

Format:

Electronic Resources

Alıntı:

Fully Automatic Logic-Based Information Flow Analysis: An Electronic-Voting Case Study -- Towards a

3.

Foundations of Security Analysis and Design VII FOSAD 2012/2013 Tutorial Lectures için kapak resmi

Foundations of Security Analysis and Design VII FOSAD 2012/2013 Tutorial Lectures

Foundations of Security Analysis and Design VII FOSAD 2012/2013 Tutorial Lectures

Yazar

Aldini, Alessandro. editor.

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

Format:

Electronic Resources

Alıntı:

include model-based security, automatic verification of secure applications, information flow analysis

4.

Information Security Theory and Practice 9th IFIP WG 11.2 International Conference, WISTP 2015, Heraklion, Crete, Greece, August 24-25, 2015. Proceedings için kapak resmi

Information Security Theory and Practice 9th IFIP WG 11.2 International Conference, WISTP 2015, Heraklion, Crete, Greece, August 24-25, 2015. Proceedings

Information Security Theory and Practice 9th IFIP WG 11.2 International Conference, WISTP 2015, Heraklion, Crete, Greece, August 24-25, 2015. Proceedings

Yazar

Akram, Raja Naeem. editor.

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

Format:

Electronic Resources

Alıntı:

fine-grained access control from Attribute Based Encryption -- WSACd - A Usable Access Control Framework for

5.

Information Security Practice and Experience 10th International Conference, ISPEC 2014, Fuzhou, China, May 5-8, 2014. Proceedings için kapak resmi

Information Security Practice and Experience 10th International Conference, ISPEC 2014, Fuzhou, China, May 5-8, 2014. Proceedings

Information Security Practice and Experience 10th International Conference, ISPEC 2014, Fuzhou, China, May 5-8, 2014. Proceedings

Yazar

Huang, Xinyi. editor.

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

Format:

Electronic Resources

Alıntı:

Mechanism with Automatic Control Policy in the Presence of Key Leakage -- Provably Secure Certificateless

Tümünü Seç

1

5 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