Labelled non-classical logics

von Viganò, Luca
Veröffentlicht 2000

Nicolas Cage is the Center of the Cybersecurity Universe

von Viganò, Luca
Veröffentlicht in INTERACT (18. : 2021 : Bari; Online) Human-computer interaction - INTERACT 2021 ; Part 1 (2021)

A framework for non-classical logics

von Vigano, Luca
Veröffentlicht 1997

Privacy, Security and Trust in the Internet of Neurons

von Sempreboni, Diego
Veröffentlicht in STAST (10. : 2020 : Online) Socio-Technical Aspects in Security and Trust (2021)

˜Gliœ astanti

von Viganò, Luca
Veröffentlicht 1998

Labelled propositional modal logics : theory and practice

von Basin, David
Veröffentlicht 1996

Natural deduction for non-classical logics

von Basin, David
Veröffentlicht 1996

Labelled modal logics : quantifiers

von Basin, David
Veröffentlicht 1997

Natural deduction for non-classical logics

von Basin, David A.
Veröffentlicht 1996

Tests and proofs : 7th international conference ; proceedings

Veröffentlicht 2013

Socio-Technical Aspects in Security and Trust : 10th International Workshop, STAST 2020, Virtual Event, September 14, 2020, revised selected papers

Veröffentlicht 2021

2015 IEEE 28th Computer Security Foundations Symposium (CSF 2015) : Verona, Italy, 13-17 July 2015

Veröffentlicht 2015

Socio-technical aspects in security : 11th International Workshop, STAST 2021, virtual event, October 8, 2021, revised selected papers

Veröffentlicht 2022

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, Eindhov...

Veröffentlicht 2016

Special issue: The International Workshop on Socio-Technical Aspects in Security

Veröffentlicht 2022

Foundations and applications of security analysis : Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, Yo...

Veröffentlicht 2009