# Cobertura de referencias — v4.4

38 de 38 referencias bibliográficas participan en una ficha seleccionada Cxx. 0 aparecen solo en la bibliografía. El escaneo de citas no comprueba si la fuente sostiene el enunciado.

| R / S | Fuente | Sección citada | Fichas Cxx | Estado |
|---|---|---|---|---|
| R01 / S025 | [Computer Security Technology Planning Study](https://seclab.cs.ucdavis.edu/projects/history/papers/ande72a.pdf) | Solo bibliografía | C26 | cited; audited_selected_claim |
| R02 / S026 | [The Protection of Information in Computer Systems](https://doi.org/10.1109/PROC.1975.9939) | Solo bibliografía | C27 | cited; audited_selected_claim |
| R03 / S027 | [Mathematics, Technology, and Trust: Formal Verification, Computer Security, and the U.S. Military](https://doi.org/10.1109/85.601735) | Solo bibliografía | C28 | cited; audited_selected_claim |
| R05 / S029 | [The Birth and Death of the Orange Book](https://doi.org/10.1109/MAHC.2015.27) | Solo bibliografía | C30 | cited; audited_selected_claim |
| R06 / S030 | [Thirty Years Later: Lessons from the Multics Security Evaluation](https://doi.org/10.1109/CSAC.2002.1176285) | Solo bibliografía | C31 | cited; audited_selected_claim |
| R07 / S031 | [SoK: Hardware Security Support for Trustworthy Execution](https://arxiv.org/abs/1910.04957) | Solo bibliografía | C14 | cited; audited_selected_claim |
| R08 / S032 | [SoK: Hardware-supported Trusted Execution Environments](https://arxiv.org/abs/2205.12742) | Solo bibliografía | C14 | cited; audited_selected_claim |
| R09 / S033 | [Shamon: A System for Distributed Mandatory Access Control](https://doi.org/10.1109/ACSAC.2006.47) | Solo bibliografía | C32 | cited; audited_selected_claim |
| R10 / S001 | [The Atlas Supervisor](https://bitsavers.trailing-edge.com/pdf/afips/1961-12_%2320.pdf) | Solo bibliografía | C01 | cited; audited_selected_claim |
| R11 / S054 | [The Atlas Scheduling System](https://doi.org/10.1145/1461551.1461560) | Solo bibliografía | C33 | cited; audited_selected_claim |
| R12 / S002 | [System/360 Principles of Operation](https://vtda.org/docs/computing/IBM/Mainframe/Hardware/System/GA22-6821-8_System360PrinciplesOperation_Nov70.pdf) | Solo bibliografía | C01;C34 | cited; audited_selected_claim |
| R13 / S035 | [System/360 Operating System: Control Program with MFT](https://bitsavers.org/pdf/ibm/360/os/R15-16_May68/plm/Y27-7128-3_IBM_System_360_Operating_System_Control_Program_with_MFT_4th_ed_196805_plus_TNL_Y28-2349_19681115.pdf) | Solo bibliografía | C34 | cited; audited_selected_claim |
| R14 / S036 | [The Operational Characteristics of the Processors for the Burroughs B5000](https://bitsavers.trailing-edge.com/pdf/burroughs/LargeSystems/B5000_5500_5700/5000-21005_B5000_operChar_1963.pdf) | Solo bibliografía | C11 | cited; audited_selected_claim |
| R15 / S037 | [B6500 Information Processing Systems Reference Manual](https://archive.org/download/bitsavers_burroughsB0RefManSep69_19454288/1043676_B6500_RefMan_Sep69.pdf) | Solo bibliografía | C17 | cited; audited_selected_claim |
| R16 / S003 | [A Hardware Architecture for Implementing Protection Rings](https://doi.org/10.1145/361268.361275) | Solo bibliografía | C35 | cited; audited_selected_claim |
| R17 / S005 | [80286 Programmer’s Reference Manual](https://bitsavers.org/components/intel/80286/210498-005_80286_and_80287_Programmers_Reference_Manual_1987.pdf) | Solo bibliografía | C36 | cited; audited_selected_claim |
| R18 / S006 | [80386 Programmer’s Reference Manual](https://bitsavers.org/components/intel/80386/230985-001_80386_Programmers_Reference_Manual_1986.pdf) | Solo bibliografía | C12;C13 | cited; audited_selected_claim |
| R19 / S038 | [Utilizing IOMMUs for Virtualization in Linux and Xen](https://www.kernel.org/doc/ols/2006/ols2006v1-pages-71-86.pdf) | Solo bibliografía | C02;C03;C10 | cited; audited_selected_claim |
| R20 / S039 | [Intel Virtualization Technology for Directed I/O Architecture Specification](https://cdrdv2-public.intel.com/774206/vt-directed-io-spec%20.pdf) | Solo bibliografía | C18;C41 | cited; audited_selected_claim |
| R21 / S011 | [TCG-based Integrity Measurement Architecture](https://www.usenix.org/legacy/events/sec04/tech/full_papers/sailer/sailer.pdf) | Solo bibliografía | C04;C05;C10 | cited; audited_selected_claim |
| R22 / S012 | [TPM 2.0 Library Specification](https://trustedcomputinggroup.org/resource/tpm-library-specification/) | Solo bibliografía | C19 | cited; audited_selected_claim |
| R23 / S014 | [Innovative Instructions and Software Model for Isolated Execution](https://www.intel.com/content/dam/develop/external/us/en/documents/hasp-2013-innovative-instructions-and-software-model-for-isolated-execution.pdf) | Solo bibliografía | C22 | cited; audited_selected_claim |
| R24 / S040 | [Intel SGX Explained](https://css.csail.mit.edu/6.858/2020/readings/costan-sgx.pdf) | Solo bibliografía | C23 | cited; audited_selected_claim |
| R25 / S041 | [Control-flow Enforcement Technology Specification](https://kib.kiev.ua/x86docs/Intel/CET/334525-003.pdf) | Solo bibliografía | C20 | cited; audited_selected_claim |
| R26 / S042 | [Armv8-A Architecture: 2016 Additions](https://developer.arm.com/community/arm-community-blogs/b/architectures-and-processors-blog/posts/armv8-a-architecture-2016-additions) | Solo bibliografía | C21 | cited; audited_selected_claim |
| R27 / S043 | [Armv8.5-A Memory Tagging Extension](https://developer.arm.com/-/media/Arm%20Developer%20Community/PDF/Arm_Memory_Tagging_Extension_Whitepaper.pdf) | Solo bibliografía | C16 | cited; audited_selected_claim |
| R28 / S044 | [Timing Attacks on Implementations of Diffie-Hellman, RSA, DSS, and Other Systems](https://doi.org/10.1007/3-540-68697-5_9) | Solo bibliografía | C37 | cited; audited_selected_claim |
| R29 / S045 | [FLUSH+RELOAD: A High Resolution, Low Noise, L3 Cache Side-Channel Attack](https://www.usenix.org/conference/usenixsecurity14/technical-sessions/presentation/yarom) | Solo bibliografía | C06 | cited; audited_selected_claim |
| R30 / S018 | [Spectre Attacks](https://spectreattack.com/spectre.pdf) | Solo bibliografía | C24 | cited; audited_selected_claim |
| R31 / S019 | [Meltdown](https://www.usenix.org/system/files/conference/usenixsecurity18/sec18-lipp.pdf) | Solo bibliografía | C25 | cited; audited_selected_claim |
| R32 / S046 | [A Note on the Confinement Problem](https://doi.org/10.1145/362375.362389) | Solo bibliografía | C38 | cited; audited_selected_claim |
| R33 / S047 | [Recommendation for the Entropy Sources Used for Random Bit Generation](https://www.nist.gov/publications/recommendation-entropy-sources-used-random-bit-generation-0) | Solo bibliografía | C39 | cited; audited_selected_claim |
| R34 / S048 | [Physical Unclonable Functions for Device Authentication and Secret Key Generation](https://doi.org/10.1145/1278480.1278484) | Solo bibliografía | C40 | cited; audited_selected_claim |
| R35 / S049 | [Tamper Resistance — A Cautionary Note](https://www.usenix.org/publications/library/proceedings/ec96/kuhn.html) | Solo bibliografía | C15 | cited; audited_selected_claim |
| R36 / S050 | [An Introduction to CHERI](https://doi.org/10.48456/tr-941) | Solo bibliografía | C07;C08;C10 | cited; audited_selected_claim |
| R37 / S051 | [CHERIvoke: Characterising Pointer Revocation using CHERI Capabilities for Temporal Memory Safety](https://doi.org/10.1145/3352460.3358288) | Solo bibliografía | C09;C10 | cited; audited_selected_claim |
| R38 / S052 | [Intel 386 Microprocessor Design and Development Oral History Panel](https://archive.computerhistory.org/resources/text/Oral_History/Intel_386_Design_and_Dev/102702019.05.01.acc.pdf) | Solo bibliografía | C13 | cited; audited_selected_claim |
| R39 / S053 | [IOMMU Groups + VFIO](https://lwn.net/Articles/497009/) | Solo bibliografía | C42 | cited; audited_selected_claim |

`not_claim_audited` significa que falta una ficha Cxx con enunciado acotado, localizador comprobado y lectura alternativa. `bibliography_only` significa que el cuerpo del DOCX no cita la entrada. [Mapa de párrafos y método](reference-usage.json).