Search Results - "Formal methods and theory of security" :: K.UTB vyhledávací portál

Vyzkoušejte nový nástroj s podporou AI Summon Research Assistant BETA

Semantically Correct Policy Mining and Enforcement for Attribute Based Access Control

by Batra, Gunjan, Talegaon, Samir, Atluri, Vijayalakshmi, Vaidya, Jaideep, Sural, Shamik
Published in ACM transactions on Internet technology (30.11.2025)

Get full text

Journal Article

Loading…

Survey on Computational Trust and Reputation Models

by Braga, Diego De Siqueira, Niemann, Marco, Hellingrath, Bernd, Neto, Fernando Buarque De Lima
Published in ACM computing surveys (30.09.2019)

Get full text

Journal Article

Loading…

Consent Verification Monitoring

by Robol, Marco, Breaux, Travis D., Paja, Elda, Giorgini, Paolo
Published in ACM transactions on software engineering and methodology (22.02.2023)

Get full text

Journal Article

Loading…

Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II

by Fisman, Dana, Rosu, Grigore
Year of Publication 2022

Get full text

eBook

Loading…

Using Psychology to Bolster Cybersecurity

by Geer, David
Published in Communications of the ACM (01.10.2023)

Get full text

Magazine Article

Semantically Correct Policy Mining and Enforcement for Attribute Based Access Control

Survey on Computational Trust and Reputation Models

Consent Verification Monitoring

Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II

Using Psychology to Bolster Cybersecurity

Refine Results

Format

Subject Area

Topic

Language

Year of Publication

Database