Cover Image

A Model Checker for the Verification of Browser Based Protocols

Fuente: Redalyc

Saved in:

Bibliographic Details
Main Author:	Victor Ferman
Format:	Artículo científico
Language:	en
Published:	Instituto Politécnico Nacional 2017
Subjects:	Computación Model checking formal methods security protocols browser based protocols
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Formal Support to Security Protocol Development: A Survey
by: Juan Carlos López Pimentel
Published: (2008)

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

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

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

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

Power Aware Routing in Ad Hoc Wireless Networks
by: Vinay Rishiwal
Published: (2009)

STAR Protocols
Published: (2020)

Observation Protocol
by: Duque-Ramírez, Gloria Cristina
Published: (2025)

A Systematic Literature Review in Cross-browser Testing
by: Leandro N. Sabaren
Published: (2018)

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

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

Revista Cubana de Medicina
Published: (2020)

MethodsX
Published: (2015)

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

IET Networks
Published: (2021)

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

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

Agent Rating Protocol: Decentralized Reputation for Agent Economies
by: AB, Support LLC
Published: (2026)

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

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

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

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

Cryptography
Published: (2017)

Awakening Codex | AI Foundations | Evidence-Based Collaborative Inquiry Protocol
by: Solen, Alyssa, et al.
Published: (2025)

Theoretical Coherence Assurance Protocol (TCAP)
by: Gantz, Thomas W.
Published: (2026)

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

Computer Aided Verification of Relational Models by Strategic Rewriting
by: Claudia M. Necco
Published: (2017)

Automatic Verification of Critical Industrial Process with Automata
by: Luis E. Mendoza Morales
Published: (2016)

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

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

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

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

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
by: Fenu, Giuseppe, et al.
Published: (2025)

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

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

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

Biophysics Reports
Published: (2018)

The Use of Digital Watermarking for Intelligence Multimedia Document Distribution
by: Shing-Chi Cheung
Published: (2008)

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

Design of a secure-cloud remote medical monitoring system using the P-QRS-T electrocardiogram detection algorithm
by: Rostom, Khalef, et al.
Published: (2025)