-
Security Engineering for ISO 21434
The ISO 21434 is a new standard that has been proposed to address the fu...
12/30/2020 ∙ by Yuri Gil Dantas, et al. ∙
0
∙
share
read it
-
Less Manual Work for Safety Engineers: Towards an Automated Safety Reasoning with Safety Patterns
The development of safety-critical systems requires the control of hazar...
09/22/2020 ∙ by Yuri Gil Dantas, et al. ∙
0
∙
share
read it
-
Compliance in Real Time Multiset Rewriting Models
The notion of compliance in Multiset Rewriting Models (MSR) has been int...
11/12/2018 ∙ by Max Kanovich, et al. ∙
0
∙
share
read it
-
Model-Based Safety and Security Engineering
By exploiting the increasing surface attack of systems, cyber-attacks ca...
10/11/2018 ∙ by Vivek Nigam, et al. ∙
0
∙
share
read it
-
Symbolic Timed Observational Equivalence
Intruders can infer properties of a system by measuring the time it take...
01/12/2018 ∙ by Vivek Nigam, et al. ∙
0
∙
share
read it
-
On the Accuracy of Formal Verification of Selective Defenses for TDoS Attacks
Telephony Denial of Service (TDoS) attacks target telephony services, su...
09/13/2017 ∙ by Marcilio O. O. Lemos, et al. ∙
0
∙
share
read it
