A Formal Security Model for Microprocessor Hardware

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-48119-2_40
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Improvement of Microprocessor Complex Scheme Using Microprocessor Hardware Complex

Science and Transport Progress. Bulletin of Dnipropetrovsk National University of Railway Transport
2019English

A Foundation for Formal Reuse of Hardware

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1995English

Security Policy Concepts for Microprocessor-Based Systems

1989English

A Unified Formal Model for Service Oriented Architecture to Enforce Security Contracts

2012English

Formal Support for the ELLA Hardware Description Language

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1995English

Exploiting Reconfigurable Hardware for Network Security

English

Preliminary Security Requirements for SecureCore Hardware

2006English

Formal Methods for Assuring Security of Protocols

Computer Journal
Computer Science
2002English

Emerging Technology-Based Design of Primitives for Hardware Security

ACM Journal on Emerging Technologies in Computing Systems
Electronic EngineeringNanoscienceHardwareElectricalArchitectureNanotechnologySoftware
2016English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy