Results (2)
Search Parameters:
Keyword: Trusted SystemsOpen AccessArticle
17 Pages, 4,140 KB 
Critical Embedded Systems Development Using Formal Methods and Statistical Reliability Metrics
Abstract:
Trusted systems are becoming more integrated into everyday life. Security and reliability are at the forefront of trusted system design and are often directed at hardware-only solutions, especially for safety critical systems. This is because hardware has a well-established process for achieving strong, precise, and reliable systems. These attributes have been achieved in the area…
Read More(This article belongs to the SP6 (Special Issue on Recent Advances in Engineering Systems 2018-19) & Section Software Engineering in Computer Science (CSE))
Open AccessArticle
7 Pages, 428 KB
Taxonomy of Security Techniques for Routing Protocols in Mobile Ad-hoc Networks
Abstract:
The Nodes equipped with wireless technology cooperate in an autonomous and instantaneous way to form a mobile ad hoc network. It turns out that several factors make this type of network vulnerable to various security threats. Considering the sensitivity of user data routed through nodes, routing security should be a priority in mobile ad hoc…
Read More(This article belongs to Section Network Engineering (ENW))