Scalable Security Verification of Software at Compile Time

2014 ◽  
Author(s):  
Syrine Tlili ◽  
Jose M. Fernandez ◽  
Abdelfettah Belghith ◽  
Bilel Dridi ◽  
Soufien Hidouri
Keyword(s):  
Security Verification

Security Verification in Web Browser Extensions

2018 ◽  
Author(s):  
Chinmay Agarwal ◽  
Medhavini Kulshrestha ◽  
Himanshu Rathore ◽  
Kamalakannan J
Keyword(s):  
Web Browser ◽  
Security Verification ◽  
Browser Extensions

scholarly journals Toward the Ontology-Based Security Verification and Validation Model for the Vehicular Domain

2019 ◽  
pp. 521-529
Author(s):  
Abdelkader Magdy Shaaban ◽  
Christoph Schmittner ◽  
Gerald Quirchmayr ◽  
A. Baith Mohamed ◽  
Thomas Gruber ◽  
...  
Keyword(s):  
Verification And Validation ◽  
Security Verification

scholarly journals Formal Security Verification of the Station-to-Station based Cell-attachment Procedure of LDACS

2021 ◽  
Author(s):  
Nils Mäurer ◽  
Christoph Gentsch ◽  
Thomas Gräupl ◽  
Corinna Schmitt
Keyword(s):  
Cell Attachment ◽  
Security Verification
Sign in / Sign up

Export Citation Format

Share Document