A mutation-based approach for the formal and automated analysis of security ceremonies (English)
- New search for: Sempreboni, Diego
- New search for: Viganò, Luca
- New search for: Sempreboni, Diego
- New search for: Viganò, Luca
In:
Journal of Computer Security
;
31
, 4
;
293-364
;
2022
- Article (Journal) / Electronic Resource
-
Title:A mutation-based approach for the formal and automated analysis of security ceremonies
-
Contributors:Sempreboni, Diego ( author ) / Viganò, Luca ( author )
-
Published in:Journal of Computer Security ; 31, 4 ; 293-364
-
Publisher:
- New search for: IOS Press
-
Place of publication:Amsterdam, The Netherlands
-
Publication date:2022-11-23
-
Size:72 pages
-
ISSN:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents – Volume 31, Issue 4
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 293
-
A mutation-based approach for the formal and automated analysis of security ceremoniesSempreboni, Diego / Viganò, Luca et al. | 2022
- 365
-
A review on cloud security issues and solutionsChaudhari, Ashish R. / Gohil, Bhavesh N. / Rao, Udai Pratap et al. | 2022
- 393
-
StegEdge: Privacy protection of unknown sensitive attributes in edge intelligence via deceptionZhang, Jianfeng / Zhang, Wensheng / Xu, Jingdong et al. | 2022