The Highly Trustworthy Computing (HTC) session focuses on both applied and fundamental research to support the protection of high value information, such that both the behavior of the system and the absence of contrary behavior can be ensured to a high degree. The use of formal methods, hardware–based security primitives, and rigorous development processes are some of the significant components in HTC. We are interested in papers describing new results in the application, theory and foundations of highly trustworthy computing. We invite papers that demonstrate results through mathematical techniques as well as those that provide convincing analysis and/or data regarding new concepts.<br><b>Keywords:</b> System development and verification techniques<br>System and network security architectures<br>Support for dynamic security policies<br>Relationship of dynamic security to multi–level security<br>Hardware–software co–design<br>System and network evaluation techniques<br>Formal models and other theoretical foundations<br>
Abbrevation
HTC
City
Waikoloa
Country
United States
Deadline Paper
Start Date
End Date
Abstract