Log in

Relevant bibliographies by topics / Validation Protocols / Journal articles

To see the other types of publications on this topic, follow the link: Validation Protocols.

Journal articles on the topic 'Validation Protocols'

Author: Grafiati

Published: 2 June 2025

Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 journal articles for your research on the topic 'Validation Protocols.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

Menti, Ariadni, Dimitrios Mariglis, Konstantinos Kyriakoulis, et al. "P074 STRIDE BP SYSTEMATIC REVIEW OF PUBLISHED VALIDATION STUDIES OF BLOOD PRESSURE MEASURING DEVICES." Journal of Hypertension 42, Suppl 3 (2024): e82. http://dx.doi.org/10.1097/01.hjh.0001063168.96663.e1.

Full text

Abstract:

Background and Objective: The accuracy of blood pressure (BP) monitors is essential for an accurate diagnosis, yet few devices have been validated using an established protocol. This study assessed the published evidence on validation studies of BP monitors. Methods: STRIDE BP (www.stridebp.org) performs periodic systematic PubMed searches to identify published validation studies of automated cuff BP monitors. Validation studies conducted using an established protocol, including the AAMI/ESH/ISO Universal Standard (ISO 81060-2:2018), ANSI/AAMI/ISO 2013/2009, ESH-IP 2010/2002, AAMI 2002/1992/19

APA, Harvard, Vancouver, ISO, and other styles

2

Cacciari, Léo, and Rafiq Omar. "Temporal validation of multimedia protocols." Annales Des Télécommunications 55, no. 1-2 (2000): 31–44. http://dx.doi.org/10.1007/bf02997770.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Bodei, Chiara, Mikael Buchholtz, Pierpaolo Degano, Flemming Nielson, and Hanne Riis Nielson. "Static validation of security protocols." Journal of Computer Security 13, no. 3 (2005): 347–90. http://dx.doi.org/10.3233/jcs-2005-13302.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Selliah, Nithianandan, Steven Eck, Cherie Green, et al. "Flow Cytometry Method Validation Protocols." Current Protocols in Cytometry 87, no. 1 (2018): e53. http://dx.doi.org/10.1002/cpcy.53.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Spafford, Lynsay, and Andrew H. MacDougall. "Validation of terrestrial biogeochemistry in CMIP6 Earth system models: a review." Geoscientific Model Development 14, no. 9 (2021): 5863–89. http://dx.doi.org/10.5194/gmd-14-5863-2021.

Full text

Abstract:

Abstract. The vital role of terrestrial biogeochemical cycles in influencing global climate change is explored by modelling groups internationally through land surface models (LSMs) coupled to atmospheric and oceanic components within Earth system models (ESMs). The sixth phase of the Coupled Model Intercomparison Project (CMIP6) provided an opportunity to compare ESM output by providing common forcings and experimental protocols. Despite these common experimental protocols, a variety of terrestrial biogeochemical cycle validation approaches were adopted by CMIP6 participants, leading to ambig

APA, Harvard, Vancouver, ISO, and other styles

6

Uwiringiyeyezu, Théophile, Bouchra El Khalfi, Rachid Saile, Jamal Belhachmi, and Abdelaziz Soukri. "Comparability of CMV DNA Extraction Methods and Validation of Viral Load." Methods and Protocols 5, no. 1 (2022): 6. http://dx.doi.org/10.3390/mps5010006.

Full text

Abstract:

Human cytomegalovirus is a herpesvirus that has a worldwide seroprevalence of more than 60% of adults in developed countries and 90% in developing countries. Severe disabilities in newborns are characteristic of the human cytomegalovirus congenital infection, and this virus is implicated in graft rejection in transplant patients. To treat and follow-up the infection, the CMVPCR viral loads are required, and the DNA extraction step remains very important; however, the quantity, quality, and purity of extracted DNA from different biological fluids influence the results of PCR amplification, that

APA, Harvard, Vancouver, ISO, and other styles

7

Joshi, Ashish, and Amar Kumar Mohapatra. "Security Analysis of Wireless Authentication Protocols." International Journal of Sensors, Wireless Communications and Control 9, no. 2 (2019): 247–52. http://dx.doi.org/10.2174/2210327908666180806112157.

Full text

Abstract:

Background & Objective: Cryptographic protocols had been evident method for ensuring con dentiality, Integrity and authentication in various digital communication systems. However the validation and analysis of such cryptographic protocols was limited to usage of formal mathematical models until few years back. Methods: In this paper, various popular cryptographic protocols have been studied. Some of these protocols (PAP, CHAP, and EAP) achieve security goals in peer to peer communication while others (RADIUS, DIAMETER and Kerberos) can work in multiparty environment. These protocols were

APA, Harvard, Vancouver, ISO, and other styles

8

Rekha, H., and M. Siddappa. "Model Checking M2M and Centralised IOT authentication Protocols." Journal of Physics: Conference Series 2161, no. 1 (2022): 012042. http://dx.doi.org/10.1088/1742-6596/2161/1/012042.

Full text

Abstract:

Abstract It is very difficult to develop a perfect security protocol for communication over the IoT network and developing a reliable authentication protocol requires a detailed understanding of cryptography. To ensure the reliability of security protocols of IoT, the validation method is not a good choice because of its several disadvantages and limitations. To prove the high reliability of Cryptographic Security Protocols(CSP) for IoT networks, the functional correctness of security protocols must be proved secure mathematically. Using the Formal Verification technique we can prove the funct

APA, Harvard, Vancouver, ISO, and other styles

9

Jorge, Paula, Anália Lourenço, and Maria Olívia Pereira. "Data Quality in Biofilm High-Throughput Routine Analysis: Intralaboratory Protocol Adaptation and Experiment Reproducibility." Journal of AOAC INTERNATIONAL 98, no. 6 (2015): 1721–27. http://dx.doi.org/10.5740/jaoacint.15-066.

Full text

Abstract:

Abstract Biofilm research is growing more diverse and dependent on high-throughput technologies, and the large-scale production of results aggravates data substantiation. In particular, experimental protocols are often adapted to meet the needs of a particular laboratory, and no statistical validation of the modified method is provided. This paper discusses the impact of intralaboratory adaptation and non-rigorous documentation of experimental protocols on biofilm data interchange and validation. The case study is a non-standard, but widely used, workflow for Pseudomonas aeruginosa biofilm dev

APA, Harvard, Vancouver, ISO, and other styles

10

Li, Fu Lin, Jie Yang, Hong Wei Zhou, and Ying Liu. "A New Dynamic Protocol Analysis Model." Advanced Materials Research 765-767 (September 2013): 1761–65. http://dx.doi.org/10.4028/www.scientific.net/amr.765-767.1761.

Full text

Abstract:

Traditional static analysis methods such as formal validation and theorem proving were used to analyze protocols security previously. These methods can not measure and evaluate actual security of protocols accurately for the setting and suppose are far from the actual conditions. This paper proposes a new dynamic protocol analysis model. The system based on the model can be used to active test in actual running conditions, analyze known protocols security, integrity, robustness, and analyze unknown protocols online, provide support for protocol designer. The systems structure, working flow and

APA, Harvard, Vancouver, ISO, and other styles

11

Indiradevi, Krishnan G., and V. S. Suku Nair. "SIMULATION BASED VALIDATION OF AUTHENTICATION PROTOCOLS." Journal of Integrated Design and Process Science: Transactions of the SDPS, Official Journal of the Society for Design and Process Science 8, no. 4 (2004): 79–98. http://dx.doi.org/10.3233/jid-2004-8406.

Full text

Abstract:

Authentication protocols help to establish trust about the identities of communicating entities. Along with authorization and data confidentiality, authentication forms a critical component of most non-trivial security frameworks. Over past several years, an alarming number of seemingly secure authentication protocols have been shown to be flawed. By exploiting such flaws, malicious entities can potentially take on identities of trusted entities. Attacks on authentication protocols are often too subtle to uncover by simple means, hence considerable research has gone into techniques for analyzi

APA, Harvard, Vancouver, ISO, and other styles

12

Cacciari, Leo, and Omar Rafiq. "Validation of protocols with temporal constraints." Computer Communications 19, no. 14 (1996): 1188–99. http://dx.doi.org/10.1016/s0140-3664(96)01153-x.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

Alladio, Eugenio, Valentina Pirro, Alberto Salomone, Marco Vincenti, and Riccardo Leardi. "Chemometric approach to open validation protocols." Analytica Chimica Acta 878 (June 2015): 78–86. http://dx.doi.org/10.1016/j.aca.2015.04.016.

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

Zheng, Mingwei, Danning Xie, Qingkai Shi, Chengpeng Wang, and Xiangyu Zhang. "Validating Network Protocol Parsers with Traceable RFC Document Interpretation." Proceedings of the ACM on Software Engineering 2, ISSTA (2025): 1772–94. https://doi.org/10.1145/3728955.

Full text

Abstract:

Validating the correctness of network protocol implementations is highly challenging due to the oracle and traceability problems. The former determines when a protocol implementation can be considered buggy, especially when the bugs do not cause any observable symptoms. The latter allows developers to understand how an implementation violates the protocol specification, thereby facilitating bug fixes. Unlike existing works that rarely take both problems into account, this work considers both and provides an effective solution using recent advances in large language models (LLMs). Our key obser

APA, Harvard, Vancouver, ISO, and other styles

15

Perrella, Andréia, Maria Aparecida Borsatti, Isabel Peixoto Tortamano, Rodney Garcia Rocha, and Marcelo Gusmão Paraíso Cavalcanti. "Validation of computed tomography protocols for simulated mandibular lesions: a comparison study." Brazilian Oral Research 21, no. 2 (2007): 165–69. http://dx.doi.org/10.1590/s1806-83242007000200012.

Full text

Abstract:

Computed tomography is the choice technique to assess oral and maxillofacial osseous lesions because it provides hard and soft tissues visualization in one examination without superimposition of surrounding structures. This examination offers a significant advance in maxillofacial lesions detection with an excellent anatomic resolution. The aim of this research was to evaluate the validity of two protocols, in axial sections, in simulated mandibular lesions. Two CT protocols were obtained in dry mandibles in which perforations were done simulating lesions. Two observers, previously calibrated,

APA, Harvard, Vancouver, ISO, and other styles

16

Olds, Will, and Jason Li. "siRNA knockdown validation 101: Incorporating negative controls in antibody research." F1000Research 5 (March 9, 2016): 308. http://dx.doi.org/10.12688/f1000research.8159.1.

Full text

Abstract:

More antibody validation protocols would identify non-specific reagents – a major source of irreproducible research – with the inclusion of negative controls. This article presents an overview of one such method: siRNA knockdown. The authors outline a general protocol, the knockdown mechanism, and tips for evaluating knockdown experiments.

APA, Harvard, Vancouver, ISO, and other styles

17

Reis, Manuel J. C. S. "Property-Based Testing for Cybersecurity: Towards Automated Validation of Security Protocols." Computers 14, no. 5 (2025): 179. https://doi.org/10.3390/computers14050179.

Full text

Abstract:

The validation of security protocols remains a complex and critical task in the cybersecurity landscape, often relying on labor-intensive testing or formal verification techniques with limited scalability. In this paper, we explore property-based testing (PBT) as a powerful yet underutilized methodology for the automated validation of security protocols. PBT enables the generation of large and diverse input spaces guided by declarative properties, making it well-suited to uncover subtle vulnerabilities in protocol logic, state transitions, and access control flows. We introduce the principles

APA, Harvard, Vancouver, ISO, and other styles

18

Curren, Rodger D., Jacqueline A. Southee, Horst Spielmann, Manfred Liebsch, Julia H. Fentem, and Michael Balls. "The Role of Prevalidation in the Development, Validation and Acceptance of Alternative Methods." Alternatives to Laboratory Animals 23, no. 2 (1995): 211–17. http://dx.doi.org/10.1177/026119299502300206.

Full text

Abstract:

Experience has shown that the outcome of large and expensive validation studies on alternative methods can be compromised if their managers do not insist that optimised test protocols and proof of their performance are submitted before the start of the formal validation study. One way for the sponsors of validation studies to confirm both the likely relevance of a method for its stated purpose and its readiness for validation would be to require a prevalidation study before formal validation was contemplated. This process would involve the developers (or other proponents of the method) and sel

APA, Harvard, Vancouver, ISO, and other styles

19

Karthick, C., and K. Kathiresan. "Pharmaceutical Process Validation: A Review." Journal of Drug Delivery and Therapeutics 12, no. 1-S (2022): 164–70. http://dx.doi.org/10.22270/jddt.v12i1-s.5316.

Full text

Abstract:

Pharmaceutical industries are in now their peak period. There is a need to ensure that pharmaceutical process validations are being done so well and results we obtain is reproducible. Results simply ensure product items consistency. These validations must be done in such a way that final product satisfies all of requirements, is very necessary in pharmaceutical field. Whatever will be the product or whatever will be the protocols, important prerequisite is Quality. Process validation signifies the values of analytical tools, analytical procedures, objective measures and it gives attention towa

APA, Harvard, Vancouver, ISO, and other styles

20

Nasef, Daniel, Demarcus Nasef, Michael Sher, and Milan Toma. "A Standardized Validation Framework for Clinically Actionable Healthcare Machine Learning with Knee Osteoarthritis Grading as a Case Study." Algorithms 18, no. 6 (2025): 343. https://doi.org/10.3390/a18060343.

Full text

Abstract:

Background: High in-domain accuracy in healthcare machine learning (ML) models does not guarantee reliable clinical performance, especially when training and validation protocols are insufficiently robust. This paper presents a standardized framework for training and validating ML models intended for classifying medical conditions, emphasizing the need for clinically relevant evaluation metrics and external validation. Methods: We apply this framework to a case study in knee osteoarthritis grading, demonstrating how overfitting, data leakage, and inadequate validation can lead to deceptively h

APA, Harvard, Vancouver, ISO, and other styles

21

Farsky, Sandra Helena P. "Target discovery and validation reviews and protocols." Revista Brasileira de Ciências Farmacêuticas 43, no. 4 (2007): 659. http://dx.doi.org/10.1590/s1516-93322007000400021.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

&NA;. "Scientific validation of gene therapy protocols needed." Inpharma Weekly &NA;, no. 984 (1995): 5. http://dx.doi.org/10.2165/00128413-199509840-00006.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

O’Brien, Eoin, George Stergiou, Paolo Palatini, et al. "Validation protocols for blood pressure measuring devices." Blood Pressure Monitoring 24, no. 4 (2019): 163–66. http://dx.doi.org/10.1097/mbp.0000000000000391.

Full text

APA, Harvard, Vancouver, ISO, and other styles

24

Beime, Beate, Cornelia Deutsch, Timothy Gomez, Thomas Zwingers, Thomas Mengden, and Peter Bramlage. "Validation protocols for blood pressure-measuring devices." Blood Pressure Monitoring 21, no. 1 (2016): 1–8. http://dx.doi.org/10.1097/mbp.0000000000000150.

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

Holzmann, Gerard J. "Design and validation of protocols: a tutorial." Computer Networks and ISDN Systems 25, no. 9 (1993): 981–1017. http://dx.doi.org/10.1016/0169-7552(93)90095-l.

Full text

APA, Harvard, Vancouver, ISO, and other styles

26

LeBreton, James M., Elizabeth M. Grimaldi, and Jeremy L. Schoen. "Conditional Reasoning: A Review and Suggestions for Future Test Development and Validation." Organizational Research Methods 23, no. 1 (2019): 65–95. http://dx.doi.org/10.1177/1094428118816366.

Full text

Abstract:

Lawrence R. James spent the last 20 years of his 35-year career developing and validating a new theory of personality that he called conditional reasoning. This theory was focused on mapping and measuring core aspects of the implicit (i.e., unconscious) personality. In this article, we (a) review James’s seminal contributions to the theory and measurement of conditional reasoning, (b) discuss subsequent contributions made in the area of conditional reasoning, and (c) provide a brief “look under the hood” at James’s approach to test development and validation. This final section of our paper is

APA, Harvard, Vancouver, ISO, and other styles

27

RIBEIRO, CHRISTIE GRAF, ANA TEREZA RAMOS MOREIRA, JOSÉ SIMÃO DE PAULA PINTO, and OSVALDO MALAFAIA. "Multiprofissional electronic protocol in ophtalmology with enfasis in strabismus." Revista do Colégio Brasileiro de Cirurgiões 43, no. 3 (2016): 171–77. http://dx.doi.org/10.1590/0100-69912016003009.

Full text

Abstract:

ABSTRACT Objective: to create and validate an electronic database in ophthalmology focused on strabismus, to computerize this database in the form of a systematic data collection software named Electronic Protocol, and to incorporate this protocol into the Integrated System of Electronic Protocols (SINPE(c)). Methods: this is a descriptive study, with the methodology divided into three phases: (1) development of a theoretical ophthalmologic database with emphasis on strabismus; (2) computerization of this theoretical ophthalmologic database using SINPE(c) and (3) interpretation of the informat

APA, Harvard, Vancouver, ISO, and other styles

28

Amin, Ruhul, SK Hafizul Islam, Muhammad Khurram Khan, Arijit Karati, Debasis Giri, and Saru Kumari. "A Two-Factor RSA-Based Robust Authentication System for Multiserver Environments." Security and Communication Networks 2017 (2017): 1–15. http://dx.doi.org/10.1155/2017/5989151.

Full text

Abstract:

The concept of two-factor multiserver authentication protocol was developed to avoid multiple number of registrations using multiple smart-cards and passwords. Recently, a variety of two-factor multiserver authentication protocols have been developed. It is observed that the existing RSA-based multiserver authentication protocols are not suitable in terms of computation complexities and security attacks. To provide lower complexities and security resilience against known attacks, this article proposes a two-factor (password and smart-card) user authentication protocol with the RSA cryptosystem

APA, Harvard, Vancouver, ISO, and other styles

29

Moon, Jongho, Youngsook Lee, Jiye Kim, and Dongho Won. "Improving an Anonymous and Provably Secure Authentication Protocol for a Mobile User." Security and Communication Networks 2017 (2017): 1–13. http://dx.doi.org/10.1155/2017/1378128.

Full text

Abstract:

Recently many authentication protocols using an extended chaotic map were suggested for a mobile user. Many researchers demonstrated that authentication protocol needs to provide key agreement, mutual authentication, and user anonymity between mobile user and server and resilience to many possible attacks. In this paper, we cautiously analyzed chaotic-map-based authentication scheme and proved that it is still insecure to off-line identity guessing, user and server impersonation, and on-line identity guessing attacks. To address these vulnerabilities, we proposed an improved protocol based on

APA, Harvard, Vancouver, ISO, and other styles

30

Roy, Pushpita, and Ansuman Banerjee. "A Framework for Validation of Synthesized MicroElectrode Dot Array Actuations for Digital Microfluidic Biochips." ACM Transactions on Design Automation of Electronic Systems 26, no. 6 (2021): 1–36. http://dx.doi.org/10.1145/3460437.

Full text

Abstract:

Digital Microfluidics is an emerging technology for automating laboratory procedures in biochemistry. With more and more complex biochemical protocols getting mapped to biochip devices and microfluidics receiving a wide adoption, it is becoming indispensable to develop automated tools and synthesis platforms that can enable a smooth transformation from complex cumbersome benchtop laboratory procedures to biochip execution. Given an informal/semi-formal assay description and a target microfluidic grid architecture on which the assay has to be implemented, a synthesis tool typically translates t

APA, Harvard, Vancouver, ISO, and other styles

31

Mark, Howard, Gary E. Ritchie, Robert W. Roller, Emil W. Ciurczak, Cindy Tso, and Stacy A. MacDonald. "Validation of a near-infrared transmission spectroscopic procedure, part A: validation protocols." Journal of Pharmaceutical and Biomedical Analysis 28, no. 2 (2002): 251–60. http://dx.doi.org/10.1016/s0731-7085(01)00567-2.

Full text

APA, Harvard, Vancouver, ISO, and other styles

32

Du, Song Yang, Jia Si Wang, Zhong Wei Chen, and Di Ming Ai. "Testing Techniques of the Software Network Interface Based on the Capture and Analysis of the Packet." Applied Mechanics and Materials 263-266 (December 2012): 1786–91. http://dx.doi.org/10.4028/www.scientific.net/amm.263-266.1786.

Full text

Abstract:

Nowadays utilized through the network, the majority of the software has their own particular and complex network interface transmission protocols. Which makes the validation of the interface protocols becomes significant and difficult in the interface testing of the software. In this paper, the network interface protocol is analyzed to help validate the software network interface, based on the capture, analysis, construction and the transmission of the packet. By using this method, the software network interface will be more effectively tested.

APA, Harvard, Vancouver, ISO, and other styles

33

Ali, Sellami, and Benlahcene Djaouida. "Optimizing Quantum Key Distribution Protocols using Decoy State Techniques and Experimental Validation." Engineering, Technology & Applied Science Research 14, no. 4 (2024): 15133–40. http://dx.doi.org/10.48084/etasr.7521.

Full text

Abstract:

This paper simulated the operation of vacuum state and single decoy state protocols in the BB84 and SARG04 QKD schemes by utilizing the features of the commercial ID-3000 QKD system. Numerical modeling identified an optimal signal-to-decoy state ratio of 0.95:0.05 and an intensity of μ=0.85 for the signal state and ν1=0.05 for the decoy state, ensuring the highest key generation rate and a secure distance of up to 50 km. These protocols were validated experimentally over various transmission distances with standard telecom fiber, using the ID-3000 QKD system in a conventional bi-directional pl

APA, Harvard, Vancouver, ISO, and other styles

34

Hodel, Sandro, Julian Hasler, Tabitha Arn Roth, et al. "Validation of a Three-Dimensional Weight-Bearing Measurement Protocol for Medial Open-Wedge High Tibial Osteotomy." Journal of Clinical Medicine 13, no. 5 (2024): 1280. http://dx.doi.org/10.3390/jcm13051280.

Full text

Abstract:

Three-dimensional (3D) deformity assessment and leg realignment planning is emerging. The aim of this study was to (1) validate a novel 3D planning modality that incorporates the weight-bearing (WB) state (3D WB) by comparing it to existing modalities (3D non-weight-bearing (NWB), 2D WB) and (2) evaluate the influence of the modality (2D vs. 3D) and the WB condition on the measurements. Three different planning and deformity measurement protocols were analyzed in 19 legs that underwent medial open-wedge high tibial osteotomy (HTO): (1) a 3D WB protocol, after 2D/3D registration of 3D CT models

APA, Harvard, Vancouver, ISO, and other styles

35

Golden, Richard M. "Causal network analysis validation using synthetic recall protocols." Behavior Research Methods, Instruments, &amp Computers 29, no. 1 (1997): 15–24. http://dx.doi.org/10.3758/bf03200561.

Full text

APA, Harvard, Vancouver, ISO, and other styles

36

Burkhardt, C., S. Riddle, M. Rubenfire, and L. Mosca. "1042 VALIDATION OF CLINICAL RAMP TREADMILL TESTING PROTOCOLS." Medicine & Science in Sports & Exercise 25, Supplement (1993): S185. http://dx.doi.org/10.1249/00005768-199305001-01045.

Full text

APA, Harvard, Vancouver, ISO, and other styles

37

Bennett, Andrew J., Tony Field, and Pete Harrison. "Modelling and validation of shared memory coherency protocols." Performance Evaluation 27-28 (October 1996): 541–63. http://dx.doi.org/10.1016/s0166-5316(96)90045-0.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

Khayou, Hussein, and Bakr Sarakbi. "A validation model for non-lexical routing protocols." Journal of Network and Computer Applications 98 (November 2017): 58–64. http://dx.doi.org/10.1016/j.jnca.2017.09.006.

Full text

APA, Harvard, Vancouver, ISO, and other styles

39

Bennett, A. "Modelling and validation of shared memory coherency protocols." Performance Evaluation 27-28, no. 1 (1996): 541–63. http://dx.doi.org/10.1016/0166-5316(96)00011-9.

Full text

APA, Harvard, Vancouver, ISO, and other styles

40

Sarma, Simanta. "Mobile Networking and Ad hoc routing protocols validation." IOSR Journal of Computer Engineering 6, no. 3 (2012): 15–24. http://dx.doi.org/10.9790/0661-0631524.

Full text

APA, Harvard, Vancouver, ISO, and other styles

41

Ural, Hasan, and Robert L. Probert. "Step-wise validation of communication protocols and services." Computer Networks and ISDN Systems 11, no. 3 (1986): 183–202. http://dx.doi.org/10.1016/0169-7552(86)90034-6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

42

Gea, Via Dolorosa, Adwitya Bhaskara, and Puspita Ambartiyas. "The Use of Source Validation Protocol Approach to Delay Investigation Analysis of Construction Project Realization." Rekayasa Sipil 18, no. 2 (2024): 159–64. http://dx.doi.org/10.21776/ub.rekayasasipil.2024.018.02.13.

Full text

Abstract:

Delays in construction projects are common and persistent. Frequent disputes also make work time inefficient and result in significant cost increases. Therefore, it is necessary to study or investigate events that are useful as a solution to delay claims and have the potential to be used in litigation. This research has been conducted to maximize reliable data sources. The Source Validation Protocol guides the process for ensuring the validity of the source data based on the Forensic Schedule Analysis methodology. According to the Critical Path Method (CPM) schedule analysis, the construction

APA, Harvard, Vancouver, ISO, and other styles

43

Qiu, Longfei, Jingqi Xiao, Ji-Yong Shin, and Zhong Shao. "LiDO-DAG: A Framework for Verifying Safety and Liveness of DAG-Based Consensus Protocols." Proceedings of the ACM on Programming Languages 9, PLDI (2025): 1392–416. https://doi.org/10.1145/3729306.

Full text

Abstract:

Blockchains operating at the global scale demand high-performance byzantine fault-tolerant (BFT) consensus protocols. Most classic PBFT-like protocols suffer from an issue known as the leader bottleneck, which severely limits their throughput and resource utilization. Recently, Directed Acyclic Graph, or DAG-based protocols, have emerged as a promising approach for eliminating the leader bottleneck and achieving better performance. They attain higher throughput by separating data dissemination and block ordering. However, their safety and liveness logic is also significantly more elaborate. So

APA, Harvard, Vancouver, ISO, and other styles

44

Park, Hyewon, Seunghwan Son, Youngho Park, and Yohan Park. "Provably Quantum Secure Three-Party Mutual Authentication and Key Exchange Protocol Based on Modular Learning with Error." Electronics 13, no. 19 (2024): 3930. http://dx.doi.org/10.3390/electronics13193930.

Full text

Abstract:

With the rapid development of quantum computers, post-quantum cryptography (PQC) has become critical technology in the security field. PQC includes cryptographic techniques that are secure against quantum-computer-based attacks, utilizing methods such as code-based, isogeny-based, and lattice-based approaches. Among these, lattice-based cryptography is the most extensively studied due to its ease of implementation and efficiency. As quantum computing advances, the need for secure communication protocols that can withstand quantum computer-based threats becomes increasingly important. Tradition

APA, Harvard, Vancouver, ISO, and other styles

45

Tsai, Kuo-Wang, Bill Chang, Cheng-Tsung Pan, Wei-Chen Lin, Ting-Wen Chen, and Sung-Chou Li. "Evaluation and Application of the Strand-Specific Protocol for Next-Generation Sequencing." BioMed Research International 2015 (2015): 1–8. http://dx.doi.org/10.1155/2015/182389.

Full text

Abstract:

Next-generation sequencing (NGS) has become a powerful sequencing tool, applied in a wide range of biological studies. However, the traditional sample preparation protocol for NGS is non-strand-specific (NSS), leading to biased estimates of expression for transcripts overlapped at the antisense strand. Strand-specific (SS) protocols have recently been developed. In this study, we prepared the same RNA sample by using the SS and NSS protocols, followed by sequencing with Illumina HiSeq platform. Using real-time quantitative PCR as a standard, we first proved that the SS protocol more precisely

APA, Harvard, Vancouver, ISO, and other styles

46

Taher, Bahaa Hussein, Huiyu Liu, Firas Abedi, Hongwei Lu, Ali A. Yassin, and Alzahraa J. Mohammed. "A Secure and Lightweight Three-Factor Remote User Authentication Protocol for Future IoT Applications." Journal of Sensors 2021 (April 27, 2021): 1–18. http://dx.doi.org/10.1155/2021/8871204.

Full text

Abstract:

With the booming integration of IoT technology in our daily life applications such as smart industrial, smart city, smart home, smart grid, and healthcare, it is essential to ensure the security and privacy challenges of these systems. Furthermore, time-critical IoT applications in healthcare require access from external parties (users) to their real-time private information via wireless communication devices. Therefore, challenges such as user authentication must be addressed in IoT wireless sensor networks (WSNs). In this paper, we propose a secure and lightweight three-factor (3FA) user aut

APA, Harvard, Vancouver, ISO, and other styles

47

Dörr, Marcus, Stefan Richter, Siegfried Eckert, et al. "Invasive Validation of Antares, a New Algorithm to Calculate Central Blood Pressure from Oscillometric Upper Arm Pulse Waves." Journal of Clinical Medicine 8, no. 7 (2019): 1073. http://dx.doi.org/10.3390/jcm8071073.

Full text

Abstract:

Background: Antares is an algorithm for pulse wave analysis (PWA) by oscillometric blood pressure (BP) monitors in order to estimate central (aortic) blood pressure (cBP). Antares aims to enable brachial cuff-based BP monitors to be type II-devices, determining absolute cBP values independently of potential peripheral BP inaccuracies. The present study is an invasive validation of the Antares algorithm in the custo screen 400. Methods: We followed entirely the 2017 ARTERY protocol for validation of non-invasive cBP devices, the 2013 American National Standards Institute, Inc./Association for t

APA, Harvard, Vancouver, ISO, and other styles

48

Silva, Fabiana Alves da, Cláudia Fernanda de Lacerda Vidal, and Ednaldo Cavalcante de Araújo. "Validation of the content of the prevention protocol for early sepsis caused by Streptococcus agalactiaein newborns." Revista Latino-Americana de Enfermagem 23, no. 4 (2015): 635–41. http://dx.doi.org/10.1590/0104-1169.0179.2598.

Full text

Abstract:

AbstractObjective: to validate the content of the prevention protocol for early sepsis caused by Streptococcus agalactiaein newborns.Method: a transversal, descriptive and methodological study, with a quantitative approach. The sample was composed of 15 judges, 8 obstetricians and 7 pediatricians. The validation occurred through the assessment of the content of the protocol by the judges that received the instrument for data collection - checklist - which contained 7 items that represent the requisites to be met by the protocol. The validation of the content was achieved by applying the Conten

APA, Harvard, Vancouver, ISO, and other styles

49

ONATSKIY, A. V. "CRYPTOGRAPHIC AUTHENTICATION PROTOCOL ZERO-KNOWLEDGE SECRET ON ELLIPTIC CURVES USING PUBLIC KEYS AND RANDOM MESSAGES." Digital Technologies 26 (2019): 22–28. http://dx.doi.org/10.33243/2313-7010-26-22-28.

Full text

Abstract:

We propose a cryptographic protocol with zero-knowledge proof (ZKP) on elliptic curves (EC) using public keys and random messages, allowing to establish the truth of a statement not conveying any additional information about the statement itself. The cryptographic protocols based on zero-knowledge proof allow identification, key exchange and other cryptographic operations to be performed without leakage of sensitive information during the information exchange. The implementation of the cryptographic protocol of the zero-knowledge proof on the basis of the mathematical apparatus of elliptic cur

APA, Harvard, Vancouver, ISO, and other styles

50

TARNAY, KATIE, LÁSZLÓ ZS VARGA, and GYULA CSOPAKI. "PROCONSUL ON THE WAY TO AUTOMATED PROTOCOL ENGINEERING." Journal of Circuits, Systems and Computers 04, no. 01 (1994): 1–22. http://dx.doi.org/10.1142/s0218126694000028.

Full text

Abstract:

The analysis, development and testing of communication protocols are complex problems. These tasks can be made easier with protocol development tools, which support the whole protocol development process from specification to testing. They are either stand-alone tools related to a specific protocol engineering function (e.g. validation) or integrated protocol workstations solving several functions. The protocol development tools are usually based on formal description techniques. This paper describes the notion of CAPE (Computer-Aided Protocol Engineering) derived from CASE (Computer-Aided Sof

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!