Computer security - Congresses.

Security and trust management : 8th International Workshop, STM 2012, Pisa, Italy, September 13-14, 2012, revised selected papers [NT 59711] by: STM (Conference) (2012)); Josang, Audun; Samarati, Pierangela; Petrocchi, Marinella ([NT 1579] Language materials, printed)

Software safety and security : tools for analysis and verification [NT 59711] by: NATO Emerging Security Challenges Division.; Nipkow, Tobias (1958-); Hauptmann, Benedikt.; NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security ((2011); Grumberg, Orna. ([NT 8598] Electronic resources)

Information theoretic security : 9th International Conference, ICITS 2016, Tacoma, WA, USA, August 9-12, 2016, Revised selected papers [NT 59711] by: ICITS (Conference) (2016); Nascimento, Anderson C. A.; Barreto, Paulo ([NT 1579] Language materials, printed)