Hard object: lightweight hardware enforcement of encapsulation, unforgeability, and transactionality
Abstract:
A hardware-implemented method to support three desirable software properties: encapsulation, referential integrity/capabilities, and transactions. These properties in turn may be used to support software correctness, specifically the enforcement of invariants, and computer security, specifically protecting parts of programs from each other within a single process.
Information query
Patent Agency Ranking
0/0