Copertina

Formal Support to Security Protocol Development: A Survey

Fuente: Redalyc

Salvato in:

Dettagli Bibliografici
Autore principale:	Juan Carlos López Pimentel
Natura:	Artículo científico
Lingua:	en
Pubblicazione:	Instituto Politécnico Nacional 2008
Soggetti:	Computación Formal methods security protocols protocol synthesis protocol diagnosis and repair
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

A Model Checker for the Verification of Browser Based Protocols
di: Victor Ferman
Pubblicazione: (2017)

Secure Architectures for a Three-Stage Polling Place Electronic Voting System
di: Josué Figueroa González
Pubblicazione: (2012)

A secure protocol for a payment system based on a kiosk centric case mobile scenario
di: Jesús A. Téllez
Pubblicazione: (2006)

A Network QoS Framework for Real -time Event Systems in highly Mobile Ad-hoc Environments
di: H. A. Duran-Limon
Pubblicazione: (2014)

How does a structured sedation weaning protocol impact outcomes in pediatric patients?
di: Tripdatabase
Pubblicazione: (2026)

Observation Protocol
di: Duque-Ramírez, Gloria Cristina
Pubblicazione: (2025)

What is the study protocol for cervical and supraclavicular lymphadenopathy?
di: Tripdatabase
Pubblicazione: (2025)

A hybrid gateway discovery algorithm for supporting QoS communications in heterogeneous networks
di: Wilder Eduardo Castellanos-Hernández
Pubblicazione: (2016)

Power Aware Routing in Ad Hoc Wireless Networks
di: Vinay Rishiwal
Pubblicazione: (2009)

The Secrets Must Not Flow: Scaling Security Verification to Large Codebases (artifact)
di: Arquint, Linard, et al.
Pubblicazione: (2025)

Evaluation of Free-Range Broilers Using the Welfare Quality® Protocol
di: ECO Sans
Pubblicazione: (2014)

Delay aware Reactive Routing Protocols for QoS in MANETs: a Review
di: Saad M. Adam
Pubblicazione: (2013)

In what ways do nurse-initiated protocols improve the efficiency of care delivery for patients presenting with chest pain in emergency settings?
di: Tripdatabase
Pubblicazione: (2026)

Driving connectivity: a thorough review of networking protocols in electric mobility
di: Ramandeep, Sandhu, et al.
Pubblicazione: (2026)

Analysis of agreement between cardiac risk stratification protocols applied to participants of a center for cardiac rehabilitation
di: Ana A. S. Santos
Pubblicazione: (2016)

STAR Protocols
Pubblicazione: (2020)

Development of a protocol for sampling and analysis of ballast water in Jamaica
di: Achsah A. Mitchell
Pubblicazione: (2014)

Revista Cubana de Medicina
Pubblicazione: (2020)

What are the standard protocols for handling and disposing of medical waste in a nursing school setting?
di: Tripdatabase
Pubblicazione: (2026)

Agent Rating Protocol: Decentralized Reputation for Agent Economies
di: AB, Support LLC
Pubblicazione: (2026)

Translation and Adaptation of the Vocal Fatigue Index into Spanish
di: Lady Catherine Cantor-Cutiva
Pubblicazione: (2020)

Inequalities in prescription of hydrochlorothiazide for diabetic hypertensive patients in Colombia
di: Análida Pinilla
Pubblicazione: (2011)

Programming Real-Time Motion Control Robot Prototype
di: A. Medina-Santiago
Pubblicazione: (2013)

Figure 3 from: Fenu G, Beshko NYu, Branca F, Khabibullaev BS, Ilardi V, Maggioni L, Shomurodov KF, Orsenigo S (2025) Global and regional IUCN Red List Assessments: 19. Italian Botanist 20: 187-200. https://doi.org/10.3897/italianbotanist.20.177927
di: Fenu, Giuseppe, et al.
Pubblicazione: (2025)

Global and regional IUCN Red List Assessments: 19
di: Fenu, Giuseppe, et al.
Pubblicazione: (2025)

Chapter Polybrominated Diphenyl Ethers (PBDEs) as Emerging Environmental Pollutants: Advances in Sample Preparation and Detection Techniques
di: Nzangya, Japheth M., et al.
Pubblicazione: (2024)

Irrigation Protocols Effects on Radicular Dentin: Cleaning, Disinfection and Remaining Ultrastructure
di: Jessie Reyes-Carmona
Pubblicazione: (2023)

Theoretical Coherence Assurance Protocol (TCAP)
di: Gantz, Thomas W.
Pubblicazione: (2026)

MethodsX
Pubblicazione: (2015)

Are there any Canadian protocols for managing alcohol withdrawal with phenobarbital in hospital?
di: Tripdatabase
Pubblicazione: (2026)

IET Networks
Pubblicazione: (2021)

Teeth processing in human teeth bank – proposal of protocol
di: Lucimara Albrecht
Pubblicazione: (2013)

Prevalence and Therapeutic Approach of Acute Pain in Emergency Provided by Triage Nursing
di: Jonay Perera Gil
Pubblicazione: (2019)

Cache memory coherence protocol for distributed systems
di: José Lisandro Aguilar Castro
Pubblicazione: (2007)

Theory of Agent Trust: The Unified Framework
di: AB Support LLC
Pubblicazione: (2026)

FACULTY MEETINGS ARE ESSENTIAL TO SCHOOL CULTURE READY FOR TRANSFORMATIONAL CHANGE
di: Uyeshima, Amy
Pubblicazione: (2023)

Propriedades de medida e de aplicabilidade de testes clínicos para avaliação do levantar/sentar em cadeira em indivíduos com doença neurológica: revisão sistemática da literatura
di: Paula F. S. Silva
Pubblicazione: (2014)

In'ei Descriptive Engineering: Protocols for the Trace
di: Yorisuna, Tomoyuki
Pubblicazione: (2026)

Global Development in the Arctic
Pubblicazione: (2023)

SINGLE APPLICATION OF THE UNIFIED PROTOCOL IN UNIVERSITY STUDENTS OF THE BALEARIC ISLANDS: A PILOT STUDY
di: Jorge Socias-Soler
Pubblicazione: (2022)