Real-Time Verification of Integrity Policies for Distributed Systems
Fuente:
Redalyc
Guardado en:
| Autor principal: | Ernesto Buelna |
|---|---|
| Formato: | Artículo científico |
| Lenguaje: | en |
| Publicado: |
Universidad Nacional Autónoma de México
2013
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
Scheduling strategy for Real-Time Distributed Systems
por: A. Menéndez-Leonel de Cervantes
Publicado: (2010)
por: A. Menéndez-Leonel de Cervantes
Publicado: (2010)
EAI Endorsed Transactions on Scalable Information Systems
Publicado: (2015)
Publicado: (2015)
Design of a secure-cloud remote medical monitoring system using the P-QRS-T electrocardiogram detection algorithm
por: Rostom, Khalef, et al.
Publicado: (2025)
por: Rostom, Khalef, et al.
Publicado: (2025)
Tecnologias de Informação e Integração Regional: Desafios Institucionais para a Cooperação Sul-Americana na Área de Segurança
por: Marco Cepik
Publicado: (2011)
por: Marco Cepik
Publicado: (2011)
International and national standards on societal information security
por: Sofiia Lykhova
Publicado: (2022)
por: Sofiia Lykhova
Publicado: (2022)
Post-9/11 U.S. Homeland Security Policy Changes And Challenges: A Policy Impact Assessment Of the Mexican Front
por: Héctor R. Ramírez Partida
Publicado: (2014)
por: Héctor R. Ramírez Partida
Publicado: (2014)
Sequence Integrity as a Cross-Domain Principle
por: Jaspers, Koen
Publicado: (2025)
por: Jaspers, Koen
Publicado: (2025)
Кібербезпека: освіта, наука, техніка
Publicado: (2019)
Publicado: (2019)
Applied Cybersecurity & Internet Governance
Publicado: (2023)
Publicado: (2023)
Security Technologies and Methods for Advanced Cyber Threat Intelligence, Detection and Mitigation
Publicado: (2023)
Publicado: (2023)
Security control for website defacement
por: Oscar Eduardo Mondragón Maca
Publicado: (2017)
por: Oscar Eduardo Mondragón Maca
Publicado: (2017)
Antidefacement - State of art
por: Christian Camilo Urcuqui López
Publicado: (2016)
por: Christian Camilo Urcuqui López
Publicado: (2016)
Evaluation of the WPA2-PSK wireless network security protocol using the Linset and Aircrack-ng tools
por: Alberto Acosta-López
Publicado: (2018)
por: Alberto Acosta-López
Publicado: (2018)
Diamond Integrity Architecture A Structural Cybersecurity Framework for the AI Era
por: Jaspers, Koen
Publicado: (2026)
por: Jaspers, Koen
Publicado: (2026)
The Somatic Arcana: A Governance Archetype System for AI-Era Threats With the Complete Myth-Tech Bestiary: 2026 Edition
por: Truong, Narnaiezzsshaa
Publicado: (2026)
por: Truong, Narnaiezzsshaa
Publicado: (2026)
Optical Fault Injection Attacks in Smart Card Chips and an Evaluation of Countermeasures Against Them
por: Anagnostopoulos, Nikolaos Athanasios
Publicado: (2014)
por: Anagnostopoulos, Nikolaos Athanasios
Publicado: (2014)
PROBLEMÁTICA CIRCUNDANTE A LA ENTRADA EN VIGOR DE LEXNET
por: María José Catalán Chamorro
Publicado: (2016)
por: María José Catalán Chamorro
Publicado: (2016)
Gakujutsu joho shori kenkyu
Publicado: (2024)
Publicado: (2024)
ПРИМЕНЕНИЕ КВАНТОВО-МЕХАНИЧЕКИХ ЭФФЕКТОВ В СИСТЕМАХ ЗАЩИТЫ ИНФОРМАЦИИ ПРИ КВАНТОВОМ РАСПРЕДЕЛЕНИИ КЛЮЧА НА БОКОВЫХ ЧАСТОТАХ (КРКБЧ) В ГИБРИДНЫХ СЕТЯХ (МУЛЬТИПЛЕКСИРОВАННЫХ КВАНТОВЫХ И ИНФОРМАЦИОННЫХ КАНАЛАХ)
por: Pavlov, Mikhail
Publicado: (2026)
por: Pavlov, Mikhail
Publicado: (2026)
COMPROMISING ELECTROMAGNETIC RADIATION - CHALLENGES, THREATS AND PROTECTION
por: Milorad S. Markagić
Publicado: (2018)
por: Milorad S. Markagić
Publicado: (2018)
The Secrets Must Not Flow: Scaling Security Verification to Large Codebases (artifact)
por: Arquint, Linard, et al.
Publicado: (2025)
por: Arquint, Linard, et al.
Publicado: (2025)
Cifra: Информационные технологии и телекоммуникации
Publicado: (2025)
Publicado: (2025)
UI-Based Defense Against Prompt Injection: From Gentle Guidance to Mandatory Re-education
por: Viorazu.
Publicado: (2025)
por: Viorazu.
Publicado: (2025)
Integrated Operation of Electricity and Natural Gas Distribution Networks: A Reliability Analysis
por: Carlos A. Saldarriaga Cortés
Publicado: (2022)
por: Carlos A. Saldarriaga Cortés
Publicado: (2022)
Scientia et Securitas
Publicado: (2022)
Publicado: (2022)
International food security regulation assessment
por: Alexander N. Semin
Publicado: (2018)
por: Alexander N. Semin
Publicado: (2018)
Real Returns of Private Pension Funds in Colombia
por: Flor Esther Salazar Guatibonza
Publicado: (2019)
por: Flor Esther Salazar Guatibonza
Publicado: (2019)
The Theory of the Cognitive Capacity of Social Information Processing (TCC SIP)
por: Scenner, Max
Publicado: (2026)
por: Scenner, Max
Publicado: (2026)
Secure point-to-point communication using chaos
por: Maricela Jiménez-Rodríguez
Publicado: (2016)
por: Maricela Jiménez-Rodríguez
Publicado: (2016)
A new qualitative proof of a result on the real jacobian conjecture
por: FRANCISCO BRAUN
Publicado: (2015)
por: FRANCISCO BRAUN
Publicado: (2015)
ANALYSIS OF MIXING PARAMETERS FOR POLYMER GELS USED FOR THE CORRECTION OF WATER INJECTION PROFILES
por: Gustavo-Adolfo Maya-Toro
Publicado: (2015)
por: Gustavo-Adolfo Maya-Toro
Publicado: (2015)
Journal of Electronics and Information Science
Publicado: (2018)
Publicado: (2018)
Системный анализ и прикладная информатика
Publicado: (2016)
Publicado: (2016)
Chapter Application of Nd:YAG Laser in Semiconductors’ Nanotechnology
por: Dauksta, Edvins, et al.
Publicado: (2021)
por: Dauksta, Edvins, et al.
Publicado: (2021)
Chapter Subjective Factors in Flight Safety
por: Rohacs, Jozsef
Publicado: (2021)
por: Rohacs, Jozsef
Publicado: (2021)
Digital certification in the Brazilian e-government
por: Edilson Ferneda
Publicado: (2011)
por: Edilson Ferneda
Publicado: (2011)
FOREIGN AND SECURITY POLICY IN THE PARTY DISCOURSE IN POLAND: MAIN FUTURES
por: Maciej Ras
Publicado: (2017)
por: Maciej Ras
Publicado: (2017)
Sustainable Innovation: Eco-development Tendencies and Theory of Communicative Action Standpoint
por: Dany Flávio Tonelli
Publicado: (2013)
por: Dany Flávio Tonelli
Publicado: (2013)
Secure Architectures for a Three-Stage Polling Place Electronic Voting System
por: Josué Figueroa González
Publicado: (2012)
por: Josué Figueroa González
Publicado: (2012)
Distribution of euphausiids (Crustacea) at the Great Meteor seamount, Atlantic Ocean
por: Weigmann, Renate
Publicado: (1974)
por: Weigmann, Renate
Publicado: (1974)
Ejemplares similares
-
Scheduling strategy for Real-Time Distributed Systems
por: A. Menéndez-Leonel de Cervantes
Publicado: (2010) -
EAI Endorsed Transactions on Scalable Information Systems
Publicado: (2015) -
Design of a secure-cloud remote medical monitoring system using the P-QRS-T electrocardiogram detection algorithm
por: Rostom, Khalef, et al.
Publicado: (2025) -
Tecnologias de Informação e Integração Regional: Desafios Institucionais para a Cooperação Sul-Americana na Área de Segurança
por: Marco Cepik
Publicado: (2011) -
International and national standards on societal information security
por: Sofiia Lykhova
Publicado: (2022)