yusuke1997/dblp-id-title huggingface dataset:
A methodology for the implementation of protocols in hardware from a formal description
Functional approach to protocols specification
Formal design of cooperative systems
A Test Derivation Method Based on Exploiting Structure Information
An Experience in Transport Protocol Specification Using an Algorithmic Programming Language
CCS used as a proof-assistant tool
Performance Parameters of Computer Network Protocols Refered to Their Formal Model
Stepwise Assertional Design of Distance-Vector Routing Algorithms
CERBERE, A Tool to Keep an Eye on High Level Protocols
Conformance Testing of Protocol Machines without Reset
Verification in XESAR of the Sliding Window Protocol
A Constrained Approach for Temporal Intervals in the Analysis of Timed Transitions
Use of Formal Specifications for Protocol Design, Implementation and Testing
Automated Generation of Test Purposes for the OSE Distributed Transaction Processing Protocol
A Test Suite Generation Method for Extended Finite State Machines Using Axiomatic Semantics Approach
Protocol Testing for the ISDN D-Channel Network Layer
On Constructing Multi-Phase Communication Protocols
An Architectural Semantics for LOTOS
Multimedia in Temporal LOTOS: A Lip-Synchronization Algorithm
Simple on-the-fly automatic verification of linear temporal logic
Protocol Verification Techniques: Status Quo and Perspectives
Dynamic State Machines with Multiway Synchronization, Channels and Shared Variables
The CO-OP Method for Compositional Derivation of Conformance Testers
An Improved Failures Equivalence for Finite-State Systems with a Reduction Algorithm
Formal Specifications of Telephone Systems in LOTOS
On the suitability of Estelle for multimedia systems
A notation for specifying test selection criteria
Testability in the Context of SDL
An Integrated Approach to Protocol Design Research
Specification and verification of real time systems in ACP
A Formalization of Temporal Message-Flow Diagrams
Some Experience with Test Sequence Generation for Protocols
Compilation of LOTOS Data Type Specifications
On the use of quantitative evaluation to assess and study distributed algorithms properties
Coverage Preserving Reduction Strategies for Reachability Analysis
An Extended Finite State Machine Approach to Protocol Specification
A Semantics Based Verification Tool for Finite State Systems
Signalling System No.7, The Network Layer
Usage of Protocol Development Tools: The Results of a Survey
Protocol analysis by using predicate nets
On the introduction of gate typing in E-LOTOS
Validation of timing properties for interoperability in distributed real-time applications
The specification and verification of an experimental ATM signalling protocol
True versus artificial concurrency
A methodology for conformance testing of managed objects
A Common Semantics Representation for SDL and TTCN
General presentation of SCAN. A distributed systems modelling and validation tool
A LOTOS compiler and process synchronization manager
What Makes Industries Believe in Formal Methods
PASS - A Technique for Specifying Communication Protocols
Authentication in Open Systems
Design of reliable architecture for testing timed behavior of OSI protocols
Communicating Rule Systems
Modelling Distributed Systems in an Extension of CCS with Infinite Experiments and Temporal Logic
Generating Conformance Test Sequences for Combined Control and Data Flow of Communication Protocols
Validation in context
On the Analysis of Time-Dependent Protocols by Network Flow Algorithms
Specifying and verifying conditional progress
LOTOS Tools Based on the Cornell Synthesizer Generator
Generating a Service Specification of a Connection Management Protocol
Protocol Performance Using Image Protocols
Module Composition and Refinement with Applications to Protocol Conversion
FDTs for open distributed systems, a retrospective and a prospective view
On specifying services and synthesizing protocols for real-time applications
Automated Verification of Equivalence of Protocol Machines
Experience with Four Automated Verification Systems
Protocol synchronization with sparse timestraps
Specification and Implementation of the MONDAN System
Protocol description with the OCCAM language
An ASYL/EFSM Description of the ISO Transport Protocol
State Architecture Notation and Simulation: A Formal Technique for the Specification and Testing of Protocol Systems
Incremental specification in LOTOS
A specification of a PROWAY protocol with an Algebraic language
A Modular Approach for the Validation of Communication Protocols Using FIFO Nets
Goal-Driven LOTOS Execution
Automatic Test Generation for Protocol Data Aspects
Protocol analysis and verification methods, application to the Xpress Transfer protocol 4.0
Stepwise Refinement of Layered Protocols by Formal Program Development
From Service Specification to Protocol Entity Impelmentation - An Exercise in Formal Protocol Development
An Evolutionary Approach to the Development of Complex Protocol Standards
LAPB Conformance Testin Using Trace Analysis
The Intertwining of Data Types and Processes in LOTOS
Protocol Specification by Real-Time Attribute Grammars
On finite covering of infinite spaces for protocol test selection
Structuring Mechanisms for the Formal Description Technique CRS
An Algorithm to Construct Distributed Systems from State-Machines
Reliability of a Data Link Service: Modelling Methodology - Protocols Comparison
Automatic ASN.1 constraint generation for testing purposes
Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984
Improvements on UIO Sequence Generation and Partial UIO Sequences
Modeling a Network Protocol in AFFIRM and Ada
A derivation of a broadcasting protocol using sequentially phased reasoning
Automated Implementation from Formal Specification
Executable Description of the OSI Transport Service in Prolog
VLib: Infinite Virtual Libraries for LOTOS
Design and Implementation of a Ferry Clip Test System
Algebraic Specification-Based Performance Analysis of Communication Protocols
Performance Analysis of Message-Based Systems
Synthesizing Distributed Protocols from Serial Programs
An Extension of the Multi-Way Synchronization Mechanism Concealed by Estelle
An Atomic Calculus of Communicating Systems
Applications and Limitations of Automated Protocol Validation
Formalisation of behavioural and structural concepts for communication systems
Validating SDL Specifications: an Experiment
An Automatic System for the Study of Protocols: A Presentation and Critique Based on a Worked Example
Generalized fair reachability analysis for cyclic protocols: part 1
A method to build symbolic representations of LOTOS specifications
A simulation environment for protocol specifications described in ESTELLE
A simulation technique for communications protocols based on a formal specification by SDL
Towards an environment for testing OSI protocols
Hardware synthesis from a restricted class of LOTOS expressions
Generating Test Sequences and their Degrees of Indeterminism for Protocols
Protocol/Specification-Level Validation
Attacking a Complex Distributed Algorithm from Different Sides: An Experience with Complementary Validation Tools
The Specification and Verification of a Connection Establishment Protocol Using Temporal Logic
Test Suite Generation from a FSM with a Given Type of Implementation Errors
Verification by abstraction as a preamble for interoperability test suite generation
A Software Environment for OSI Protocol Testing Systems
An expressive trace theory for LOTOS
Formal Methods in Conformance Testing: Status and Expectations
Verification of the ISO ROSE protocol specified in Estelle
On packet buffering and protocol performance
Generation of a Global System Description from the Descriptions of Cooperating Subsystems
An ASN.1 encoder/decoder and its performance
Building blocks for distributed system design
Experience in implementing ESTELLE-X.250 (a CCITT subset of ESTELLE) in VEDA
Protocol Description and Analysis Based on a State Transition Model with Channel Expressions
Verifying Safety and Deadlock Properties of Networks of Asynchronously Communicating Processes
From timed Petri nets to timed LOTOS
Increasing the efficiency of computer-aided protocol implementations
Composition of LOTOS specifications
Formal Description of the Nadir Transport Protocol Using the PDIL Language
Computer-aided analysis of concurrent systems
A temporal reachability analysis
Testing Probabilistic and Nondeterministic Processes
Specifying communication services with temporal logic
Verification of a Multidestination Protocol Using Temporal Logic
Formal Specification, Validation and Performance Evaluation of the Xpress Transfer Protocol
Automated protocol verification
The Development of Tools for Verification and Validation of Communication Protocols
Specialization in Estelle
Algebraic descriptions of mobile networks: An example
The impact of the Ferry concept on protocol testing
A Verification Method for LOTOS Specifications and its Application
Using asynchronous Büchi automata for efficient automatic verification of concurrent systems
Modeling X.25 Using the Graph Model of Behavior
Runnable protocol specifications using the logic interpreter SLOG
Protocol verification: the first ten years, the next ten years; some personal observations
Specification and Verification of Time-Dependant Communication Protocols
About time nondeterminism and exception handling in a temporal extension of LOTOS
An Illustration of Protocol Projections
Predicting protocol performance from a meta-implementation
Assessment of ESTELLE and EDT Through Real Case Studies
A Test Derivation Method for Protocol Conformance Testing
Automated Validation of TTCN Test Suites
Verification of protocol specificaitons using the CESAR system
Testing of protocol implementations. A systematic approach to derivation of test sequences form global protocol specifications
Protocol Specification, Testing and Verification X, Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990
Compilation and verification of LOTOS specifications
Automatic implementation of formal descriptions of communication protocols
A Verification Tool for Value-Passing Processes
Protocol Specification, Testing and Verification XI, Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Stockholm, Sweden, 18-20 June 1991
PARES - a portable parallel Estelle compiler
Protocol Specification, Testing and Verification V, Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification, Toulouse-Moissac, France, June 10-13, 1985
Verification of Concurrent Systems: Function and Timing
A Verification Oriented Specification in LOTOS of the Transport Protocol
Protocol Conformance Testing by Discriminating UIO Sequences
SDL and Petri net performance analysis of communicating systems
Failure-based congruences, unfair divergences and new testing theory
Assessing the Impact of Cyber Attacks on Interdependent Physical Systems
Critical Infrastructure Protection IV - Fourth Annual IFIP WG 11.10 International Conference on Critical Infrastructure Protection, ICCIP 2010, Washington, DC, USA, March 15-17, 2010, Revised Selected Papers
Using an Emulation Testbed for Operational Cyber Security Exercises
Runtime Integrity for Cyber-Physical Infrastructures
Protecting Internet Services from Low-Rate DoS Attacks
Modeling Control System Failures and Attacks - The Waterloo Campaign to Oil Pipelines
Practical Application Layer Emulation in Industrial Control System Honeypots
Reinforcement Learning Using Monte Carlo Policy Estimation for Disaster Mitigation
Trusted Virtualization-Based Programmable Logic Controller Resilience Using a Backfit Approach
Quantifying the Costs of Data Breaches
Multi-channel Security Through Data Fragmentation
Cyber Security Modeling of Non-Critical Nuclear Power Plant Digital Instrumentation
Attack-Defense Modeling of Material Extrusion Additive Manufacturing Systems
Challenges to Automating Security Configuration Checklists in Manufacturing Environments
Using Deception to Shield Cyberspace Sensors
Comparison of Design-Centric and Data-Centric Methods for Distributed Attack Detection in Cyber-Physical Systems
Government Intervention in Information Infrastructure Protection
An Attack-Fault Tree Analysis of a Movable Railroad Bridge
Multigraph Dependency Models for Heterogeneous Infrastructures
Analyzing Intelligence on WMD Attacks Using Threaded Event-Based Simulation
An Incident Response Model for Industrial Control System Forensics Based on Historical Events
A Taxonomy of Attacks on the DNP3 Protocol
Securing Data in Power-Limited Sensor Networks Using Two-Channel Communications
Assessing the Economic Loss and Social Impact of Information System Breakdowns
Data Handling in the Smart Grid: Do We Know Enough?
Importance of Cyber Security Analysis in the Operational Technology System Lifecycle
Simulation-Based Logic Bomb Identification and Verification for Unmanned Aerial Vehicles
Combating Memory Corruption Attacks On Scada Devices
Enhancing the Usability of the Commercial Mobile Alert System
Evaluating Cyber Security Risks and Mitigation Strategies for Smart Grids Based on Business Case Scenarios
Critical Infrastructure Protection XVIII - 18th IFIP WG 11.10 International Conference, ICCIP 2024, Arlington, VA, USA, March 18-19, 2024, Proceedings
Evaluating ITU-T G.9959 Based Wireless Systems Used in Critical Infrastructure Assets
Critical Infrastructure Protection XVI - 16th IFIP WG 11.10 International Conference, ICCIP 2022, Virtual Event, March 14-15, 2022, Revised Selected Papers
Critical Infrastructure Protection XV - 15th IFIP WG 11.10 International Conference, ICCIP 2021, Virtual Event, March 15-16, 2021, Revised Selected Papers
A Framework for Modeling Interdependencies in Japan's Critical Infrastructures
Effects of Time Delays in the Electric Power Grid
An Evidence-Based Trust Assessment Framework for Critical Infrastructure Decision Making
Distributed IP Watchlist Generation for Intrusion Detection in the Electrical Smart Grid
Analysis of Electrical Power and Oil and Gas Pipeline Failures
Assessing the Impact of Cyber Attacks on Wireless Sensor Nodes That Monitor Interdependent Physical Systems
A Firmware Verification Tool for Programmable Logic Controllers
Factors Impacting Attacker Decision-Making in Power Grid Cyber Attacks
Secure Cross-Domain Train Scheduling
A Holistic-Reductionistic Approach for Modeling Interdependencies
Detecting Wormhole Attacks in Wireless Sensor Networks
A Cyber Security Analysis Methodology for Evaluating Automobile Risk Exposures
Creating a Cross-Domain Simulation Framework for Risk Analyses of Cities
A Distributed Real-Time Event Correlation Architecture for SCADA Security
Risk Analysis in Interdependent Infrastructures
Enhancing Decision Support with Interdependency Modeling
Automated Assessment Of Compliance With Security Best Practices
Cyber Security Requirements in the Norwegian Energy Sector
Low-Magnitude Infill Structure Manipulation Attacks on Fused Filament Fabrication 3D Printers
Liability Exposure when 3D-Printed Parts Fall from the Sky
Cyber Security: Are Economic Incentives Adequate?
Cyberspace Policy For Critical Infrastructures
Providing Situational Awareness for Pipeline Control Operations
An Integrated Methodology For Critical Infrastructure Modeling And Simulation
Modeling a Midstream Oil Terminal for Cyber Security Risk Evaluation
Exploiting Web Ontologies for Automated Critical Infrastructure Data Retrieval
Improved Distribution Network Topology Generation with Hierarchical Information Overlay
Lightweight Journaling for Scada Systems via Event Correlation
Evaluating the Use of Boot Image Encryption on the TALOS II Architecture
Critical Information Infrastructure Protection in the Developing World
Implementing Novel Defense Functionality in MPLS Networks Using Hyperspeed Signaling
Automated Programmable Logic Controller Memory Forensics Using RGB Image Analysis and Deep Learning
Recovery of Structural Controllability for Control Systems
A Symbolic Honeynet Framework for SCADA System Threat Intelligence
Using Bloom Filters to Ensure Access Control and Authentication Requirements for SCADA Field Devices
Categorization of Cyber Training Environments for Industrial Control Systems
Evaluation of Additive and Subtractive Manufacturing from the Security Perspective
Assessing Cyber Risk Using the CISIApro Simulator
A System Dynamics Framework for Modeling Critical Infrastructure Resilience
An Evidence Quality Assessment Model for Cyber Security Policymaking
Creating a Cyber Moving Target for Critical Infrastructure Applications
Integrity-Organization Based Access Control for Critical Infrastructure Systems
Using Centrality Measures in Dependency Risk Graphs for Efficient Risk Mitigation
Multi-Controller Exercise Environments for Training Industrial Control System First Responders
Critical Infrastructure Protection VII - 7th IFIP WG 11.10 International Conference, ICCIP 2013, Washington, DC, USA, March 18-20, 2013, Revised Selected Papers
Collaborative Access Control For Critical Infrastructures
Attacking the IEC 61131 Logic Engine in Programmable Logic Controllers
Risk-Based Criticality Analysis
Enforcing End-to-End Security in Scada Systems via Application-Level Cryptography
Emergency Messages in the Commercial Mobile Alert System
A Cyber Security Architecture for Microgrid Deployments
Vulnerability Assessment of InfiniBand Networking
Design and Implementation of Industrial Control System Emulators
Converting an Electric Power Utility Network to Defend Against Crafted Inputs
Protecting the Transportation Sector from the Negative Impacts of Climate Change
Detecting Anomalies in Process Control Networks
Design and Implementation of a Secure Modbus Protocol
Information Risk Management and Resilience
Electronic Control Unit Discrimination Using Wired Signal Distinct Native Attributes
Emergent Risks In Critical Infrastructures
Error Propagation after Reordering Attacks on Hierarchical State Estimation
Implementing Cyber Security Requirements and Mechanisms in Microgrids
Stack-Based Buffer Overflows in Harvard Class Embedded Systems
Botnets as an Instrument of Warfare
Mitigating Emergent Vulnerabilities in Oil and Gas Assets via Resilience
An Ontology for Identifying Cyber Intrusion Induced Faults in Process Control Systems
Detecting Part Anomalies Induced by Cyber Attacks on a Powder BED Fusion Additive Manufacturing System
Variable Speed Simulation for Accelerated Industrial Control System Cyber Training
A Theory of Homeland Security
A Comparative Analysis Approach for Deriving Failure Scenarios in the Natural Gas Distribution Infrastructure
Quantifying Controller Resilience Using Behavior Characterization
Critical Infrastructure Protection XVII - 17th IFIP WG 11.10 International Conference, ICCIP 2023, Arlington, VA, USA, March 13-14, 2023, Revised Selected Papers
Using Information Flow Methods to Secure Cyber-Physical Systems
Anomaly Detection in Liquid Pipelines Using Modeling, Co-Simulation and Dynamical Estimation
Detecting Data Manipulation Attacks on the Substation Interlocking Function Using Direct Power Feedback
A Fail-Safe Challenge-Response Mechanism for User Equipment to Detect Rogue IMSI/SUPI Catchers
Political and Economic Implications of Authoritarian Control of the Internet
Passive Scanning in Modbus Networks
Protecting Infrastructure Assets from Real-Time and Run-Time Threats
An Industrial Control System Testbed Based on Emulation, Physical Devices and Simulation
Assessing The Integrity Of Field Devices In Modbus Networks
A Communications Validity Detector for SCADA Networks
Are European Security Policies Ready for Advanced Metering Systems with Cloud Back-Ends?
Resilience in Risk Analysis and Risk Assessment
Modeling and Assessing the Impacts of Cyber Threats on Interdependent Critical Infrastructures
A Decision Support Tool for a Unified Homeland Security Strategy
Security Analysis of Software Updates for Industrial Robots
Ontology-Based Critical Infrastructure Modeling and Simulation
Security Analysis of the MPLS Label Distribution Protocol
Remote Forensic Analysis of Process Control Systems
Using Physical Models for Anomaly Detection in Control Systems
Towards A Taxonomy Of Attacks Against Energy Control Systems
Cascading Effects of Common-Cause Failures in Critical Infrastructures
Smart-Grid-Enabled Business Cases and the Consequences of Cyber Attacks
A Plant-Wide Industrial Process Control Security Problem
The ISE Metamodel for Critical Infrastructures
Redefining Homeland Security
Practical Deep Neural Network Protection for Unmodified Applications in Intel Software Guard Extension Environments
Data-Driven Field Mapping of Security Logs for Integrated Monitoring
Modeling Inoperability Propagation Using Bayesian Networks
Forensic Investigation of A Hacked Industrial Robot
An Automated Dialog System for Conducting Security Interviews for Access Control
Manipulation of G-Code Toolpath Files in 3D Printers: Attacks and Mitigations
A History of Cyber Incidents and Threats Involving Industrial Control Systems
A Service-Oriented Approach for Assessing Infrastructure Security
A Survey of Critical Infrastructure Security
An Integrated Control and Intrusion Detection System for Smart Grid Security
A Manufacturer-Specific Security Assessment Methodology for Critical Infrastructure Components
Attribution Of Cyber Attacks On Process Control Systems
Security Enhancements for Distributed Control Systems
On the Sharing of Cyber Security Information
Modeling Telecommunications Infrastructures Using the CISIApro 2.0 Simulator
Enabling the Exploration of Operating Procedures in Critical Infrastructures
Security-Enhanced Orchestration Platform for Building Management Systems
Software Defined Response and Network Reconfiguration for Industrial Control Systems
Securing Wireless Coprocessors from Attacks in the Internet of Things
Simulation Of Advanced Train Control Systems
Defining Attack Patterns for Industrial Control Systems
Forensic Analysis of a Siemens Programmable Logic Controller
Lessons Learned from the Maroochy Water Breach
Using 3D Models And Discrete Simulations In Infrastructure Security Applications
Reducing Risk in Oil and Gas Production Operations
On the Security of Electronic Voting Systems
Designing Security-Hardened Microkernels For Field Devices
Classification and Comparison of Critical Infrastructure Protection Tools
Securing an InfiniBand Network and its Effect on Performance
Security Analysis of VPN Configurations in Industrial Control Environments
Critical Infrastructure Protection XIV - 14th IFIP WG 11.10 International Conference, ICCIP 2020, Arlington, VA, USA, March 16-17, 2020, Revised Selected Papers
Security Assessment Of A Turbo-Gas Power Plant
Anomaly Detection in Automation Controllers
Critical Infrastructure Protection X - 10th IFIP WG 11.10 International Conference, ICCIP 2016, Arlington, VA, USA, March 14-16, 2016, Revised Selected Papers
Vulnerability Assessments of Building Management Systems
Detecting Malicious Software Execution in Programmable Logic Controllers Using Power Fingerprinting
Infrastructure Protection in the Dutch Financial Sector
Critical Infrastructure Protection XII - 12th IFIP WG 11.10 International Conference, ICCIP 2018, Arlington, VA, USA, March 12-14, 2018, Revised Selected Papers
Security At What Cost?
Integrating Simulated Physics and Device Virtualization in Control System Testbeds
Multiple-Bayesian-Network-Based Risk Assessment Methodology for Industrial Control Systems
Cyber-Physical Security of Air Traffic Surveillance Systems
Engaging Empirical Dynamic Modeling to Detect Intrusions in Cyber-Physical Systems
InfiniBand Network Monitoring: Challenges and Possibilities
Securing Positive Train Control Systems
Towards a Comparable Cross-Sector Risk Analysis: RAMCAP Revisited
Critical Infrastructure Protection V - 5th IFIP WG 11.10 International Conference on Critical Infrastructure Protection, ICCIP 2011, Hanover, NH, USA, March 23-25, 2011, Revised Selected Papers
U.S. Federal Oversight of Rail Transportation of Toxic by Inhalation Materials