Вы здесь

Главная

система безопасности

Связанные издания:

Computer Information Systems and Industrial Management: Proc./14th IFIP TC 8 International Conference, CISIM 2015, Warsaw, Poland, September 2015
Critical Information Infrastructures Security: Revised Selected Papers/16th International Conference, CRITIS 2021, Lausanne, Switzerland, September 2021
Emerging Technologies for Authorization and Authentication: Proc./2nd International Workshop, ETAA 2019, Luxembourg City, Luxembourg, September 2019
Formal Methods: Proc./22nd International Symposium, FM 2018 Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 2018
Graphical Models for Security: Revised Selected Papers/7th International Workshop, GraMSec 2020, Boston,MA,USA, June 2020
HCI and Cybersecurity, Privacy and Trust: Proc./2nd International Conference, HCI-CPT 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 2020
HCI for Cybersecurity, Privacy and Trust: Proc./3rd International Conference, HCI-CPT 2021, Held as Part of the HCI International Conference. HCII 2021, Virtual Event, July 2021
Information Security and Cryptology: Revised Selected Papers/17th International Conference, Inscrypt 2021, Virtual Event, August 2021
Internet and Distributed Computing Systems: Proc./7th International Conference, IDCS 2014, Calabria, Italy, September 2014
Leveraging Applications of Formal Methods, Verification and Validation, Part I: Modeling: Proc./8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 2018
Logic-Based Program Synthesis and Transformation: Revised Selected Papers/22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 2012
Mobile Web and Intelligent Information Systems, Proc./14th International Conference, MobiWIS 2017, Prague, Czech Republic, August 2017
Model-Based Safety and Assessment: Proc./6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 2019
Provable and Practical Security: Proc./15th International Conference, ProvSec 2021, Guangzhou, China, November 2021
Quantitative Evaluation of Systems: Proc./15th International Conference, QEST 2018, Beijing, China, September 2018
Requirements Engineering: Foundation for Software Quality: Proc./17th International Working Conference, REFSQ 2011, Essen, Germany, March 2011
Research in Attacks, Intrusions, and Defenses: Proc./17th International Symposium, RAID 2014, Gothenburg, Sweden, September 2014
Socio-Technical Aspects in Security and Trust: Revised Selected Papers/9th International Workshop, STAST 2019, Luxembourg City, Luxembourg, September 2019
The Future of Digital Democracy: An Interdisciplinary Approach
Tools and Algorithms for the Construction and Analysis of Systems, Part I: Proc./24th International Conference, TACAS 2018 Held as Part of the Europen Joint Conference ETAPS 2018, Thessaloniki, Greece, April 2018
Topics in Cryptology - CT-RSA 2021: Proc./Cryptographers' Track at the RSA Conference 2021, Virtual Event, May 2021
Transactions on Pattern Languages of Programming IV
Wireless Algorithms, Systems, and Applications: Proc./11th International Conference, WASA 2016, Bozeman,MT,USA, August 2016