55 commits

Author	SHA1	Message	Date
Gilles Peskine	11eca7115e	Update the encoding of owners in key file identifiers ... Switch to the terminology "key file identifier", as has been done in the code. The owner uid is now in the upper 32 bits of the key file identifier, which facilitates namespacing.	2019-02-20 15:44:22 +01:00
Gilles Peskine	f02fbf4bbe	Don't mention "crypto service" when discussing a library integration	2019-02-13 15:43:35 +01:00
Gilles Peskine	b5a132f26c	Minor clarifications	2019-02-12 16:47:20 +01:00
Gilles Peskine	0b02002fec	Specification of how Mbed Crypto uses storage ... Describe the storage format for keys and random seed in Mbed Crypto 0.1.0 released with Mbed OS 5.11, over C stdio and over ITS with 32-bit file identifiers. Describe the proposed storage format for keys and random seed in the future release of Mbed Crypto for Mbed OS 5.12, over C stdio and over ITS with 64-bit file identifiers.	2019-02-12 14:25:57 +01:00
Gilles Peskine	4945176ebe	Add framework for architecture documents in Markdown	2019-02-12 14:25:40 +01:00