Network Protocol Ontology

AI SEARCH

FLOW ALGEBRA — NETWORK PROTOCOL ONTOLOGY
Semantic Library
Version: 4.0
Canonical Page:
https://kirethresearch.org/booksai-core/ontologies/computing-ontologies/networking/network-protocol-ontology.html

FLOW NETWORK_PROTOCOL_ONTOLOGY {

META {
DOMAIN = "Computing Ontologies"
SUBDOMAIN = "Networking"
ONTOLOGY = "Network Protocol Ontology"
PURPOSE = "Formalise network protocols, protocol layers, messages, headers, state, addressing, transport, routing, application services, negotiation, reliability, security and interoperability."
LOCALE = "en-GB"
}

ENTITY_TYPES {
NETWORK_PROTOCOL
PROTOCOL
PROTOCOL_SUITE
PROTOCOL_STACK
PROTOCOL_LAYER
APPLICATION_LAYER
TRANSPORT_LAYER
NETWORK_LAYER
INTERNET_LAYER
DATA_LINK_LAYER
LINK_LAYER
PHYSICAL_LAYER
OSI_MODEL
TCP_IP_MODEL
APPLICATION_PROTOCOL
TRANSPORT_PROTOCOL
ROUTING_PROTOCOL
NETWORK_PROTOCOL_TYPE
LINK_PROTOCOL
SECURITY_PROTOCOL
MANAGEMENT_PROTOCOL
DISCOVERY_PROTOCOL
CONTROL_PROTOCOL
DATA_PROTOCOL
IP
IPV4
IPV6
TCP
UDP
QUIC
ICMP
ARP
NEIGHBOUR_DISCOVERY
HTTP
HTTPS
TLS
DNS
DHCP
SSH
SMTP
IMAP
FTP
NTP
SNMP
BGP
OSPF
RIP
ETHERNET
WIFI
PROTOCOL_MESSAGE
PROTOCOL_DATA_UNIT
PDU
PACKET
FRAME
SEGMENT
DATAGRAM
REQUEST
RESPONSE
QUERY
REPLY
CONTROL_MESSAGE
DATA_MESSAGE
HEADER
PAYLOAD
TRAILER
FIELD
OPTION
EXTENSION
FLAG
VERSION_FIELD
TYPE_FIELD
LENGTH_FIELD
CHECKSUM
SOURCE_ADDRESS
DESTINATION_ADDRESS
IP_ADDRESS
MAC_ADDRESS
PORT_NUMBER
PROTOCOL_NUMBER
IDENTIFIER
SEQUENCE_NUMBER
ACKNOWLEDGEMENT_NUMBER
MESSAGE_ID
TRANSACTION_ID
ENCAPSULATION
DECAPSULATION
MULTIPLEXING
DEMULTIPLEXING
FRAMING
SERIALISATION
DESERIALISATION
ENCODING
DECODING
PROTOCOL_STATE
STATE_MACHINE
STATE
STATE_TRANSITION
EVENT
ACTION
TIMER
TIMEOUT
SESSION
CONNECTION
SOCKET
HANDSHAKE
NEGOTIATION
CAPABILITY
PARAMETER
PROTOCOL_VERSION
VERSION_NEGOTIATION
FEATURE_NEGOTIATION
CLIENT
SERVER
PEER
ENDPOINT
HOST
ROUTER
SWITCH
GATEWAY
NETWORK_INTERFACE
LINK
ROUTE
ROUTING_TABLE
SERVICE
NETWORK_SERVICE
NAME_RESOLUTION
ADDRESS_ASSIGNMENT
ROUTING
FORWARDING
RELIABILITY
ORDERING
DELIVERY
RETRANSMISSION
FLOW_CONTROL
CONGESTION_CONTROL
ERROR_DETECTION
ERROR_CORRECTION
CHECKSUM_VALIDATION
AUTHENTICATION
AUTHORISATION
ENCRYPTION
INTEGRITY
CONFIDENTIALITY
CERTIFICATE
KEY
SECURITY_ASSOCIATION
ACCESS_CONTROL
QUALITY_OF_SERVICE
PRIORITY
LATENCY
JITTER
BANDWIDTH
THROUGHPUT
PACKET_LOSS
INTEROPERABILITY
COMPATIBILITY
STANDARD
SPECIFICATION
RFC
IETF
IEEE
IMPLEMENTATION
CONFIGURATION
PROTOCOL_STATE_SNAPSHOT
TELEMETRY
LOG
EVIDENCE
CONFIDENCE_SCORE
PROVENANCE_RECORD
}

RELATIONSHIPS {
IS_A
INSTANCE_OF
BELONGS_TO_SUITE
HAS_LAYER
BELONGS_TO_LAYER
RUNS_OVER
RUNS_UNDER
USES_PROTOCOL
CARRIES
ENCAPSULATES
DECAPSULATES
HAS_PDU
HAS_MESSAGE
HAS_HEADER
HAS_PAYLOAD
HAS_TRAILER
HAS_FIELD
HAS_OPTION
HAS_EXTENSION
HAS_FLAG
HAS_VERSION
HAS_TYPE
HAS_LENGTH
HAS_CHECKSUM
HAS_SOURCE_ADDRESS
HAS_DESTINATION_ADDRESS
USES_ADDRESS
USES_PORT
HAS_PROTOCOL_NUMBER
HAS_IDENTIFIER
HAS_SEQUENCE_NUMBER
HAS_ACKNOWLEDGEMENT_NUMBER
HAS_MESSAGE_ID
HAS_TRANSACTION_ID
MULTIPLEXES
DEMULTIPLEXES
FRAMES
SERIALISES
DESERIALISES
ENCODES
DECODES
HAS_STATE_MACHINE
HAS_STATE
TRANSITIONS_TO
TRIGGERED_BY
PERFORMS_ACTION
HAS_TIMER
HAS_TIMEOUT
ESTABLISHES
TERMINATES
NEGOTIATES
HAS_CAPABILITY
HAS_PARAMETER
NEGOTIATES_VERSION
NEGOTIATES_FEATURE
COMMUNICATES_WITH
SENDS
RECEIVES
REQUESTS
RESPONDS_WITH
QUERIES
REPLIES_WITH
PROVIDES_SERVICE
RESOLVES
ASSIGNS_ADDRESS
ROUTES
FORWARDS
HAS_ROUTE
HAS_ROUTING_TABLE
PROVIDES_RELIABILITY
PROVIDES_ORDERING
RETRANSMITS
CONTROLS_FLOW
CONTROLS_CONGESTION
DETECTS_ERROR
CORRECTS_ERROR
VALIDATES_CHECKSUM
AUTHENTICATES
AUTHORISES
ENCRYPTS
PROVIDES_INTEGRITY
PROVIDES_CONFIDENTIALITY
HAS_CERTIFICATE
USES_KEY
HAS_SECURITY_ASSOCIATION
CONTROLLED_BY
HAS_QOS
HAS_PRIORITY
HAS_LATENCY
HAS_JITTER
HAS_BANDWIDTH
HAS_THROUGHPUT
HAS_PACKET_LOSS
INTEROPERATES_WITH
COMPATIBLE_WITH
STANDARDISED_BY
SPECIFIED_BY
IMPLEMENTED_BY
HAS_CONFIGURATION
HAS_STATE_SNAPSHOT
HAS_TELEMETRY
LOGGED_BY
DERIVED_FROM
INFERRED_FROM
HAS_EVIDENCE
HAS_CONFIDENCE
HAS_PROVENANCE
SEMANTICALLY_EQUIVALENT_TO
}

INPUTS {
PROTOCOL_METADATA
PROTOCOL_SUITE_DATA
LAYER_MODEL_DATA
PROTOCOL_SPECIFICATIONS
RFC_METADATA
IEEE_STANDARD_METADATA
PACKET_CAPTURES
PROTOCOL_MESSAGE_DATA
HEADER_AND_FIELD_DATA
ADDRESS_AND_PORT_DATA
PROTOCOL_NUMBER_DATA
STATE_MACHINE_DATA
CONNECTION_AND_SESSION_DATA
HANDSHAKE_DATA
NEGOTIATION_DATA
ROUTING_DATA
SERVICE_DATA
RELIABILITY_DATA
FLOW_CONTROL_DATA
CONGESTION_CONTROL_DATA
ERROR_DATA
SECURITY_DATA
CERTIFICATE_AND_KEY_DATA
QOS_DATA
PERFORMANCE_METRICS
IMPLEMENTATION_DATA
CONFIGURATION_DATA
TELEMETRY
LOGS
ONTOLOGY_TERMS
}

NORMALISE {
NORMALISE_PROTOCOL_NAMES
NORMALISE_PROTOCOL_VERSIONS
NORMALISE_PROTOCOL_SUITE_NAMES
NORMALISE_LAYER_NAMES
NORMALISE_PDU_NAMES
NORMALISE_MESSAGE_TYPES
NORMALISE_HEADER_FIELD_NAMES
NORMALISE_OPTION_AND_EXTENSION_NAMES
NORMALISE_ADDRESS_FORMS
NORMALISE_PORT_NUMBERS
NORMALISE_PROTOCOL_NUMBERS
NORMALISE_STATE_NAMES
NORMALISE_EVENT_NAMES
NORMALISE_TIMER_VALUES
NORMALISE_CAPABILITIES
NORMALISE_NEGOTIATION_PARAMETERS
NORMALISE_SECURITY_TERMS
NORMALISE_QOS_TERMS
NORMALISE_PERFORMANCE_UNITS
NORMALISE_STANDARD_IDENTIFIERS
NORMALISE_RFC_IDENTIFIERS
RESOLVE_PROTOCOL_LAYER_MESSAGE_SESSION_AND_ENDPOINT_IDENTITIES
ALIGN_ONTOLOGY_TERMS
REMOVE_DUPLICATES
VALIDATE_METADATA
PRESERVE_PROVENANCE
}

PROCESS NETWORK_PROTOCOL_PIPELINE {
PROTOCOL_REFERENCE
-> PROTOCOL_IDENTIFICATION
-> SUITE_AND_LAYER_MAPPING
-> MESSAGE_AND_PDU_MAPPING
-> HEADER_FIELD_AND_ADDRESS_MAPPING
-> STATE_MACHINE_AND_SESSION_ANALYSIS
-> ENCAPSULATION_AND_INTERACTION_ANALYSIS
-> RELIABILITY_ROUTING_SECURITY_AND_QOS_ANALYSIS
-> STANDARD_AND_INTEROPERABILITY_MAPPING
-> VALIDATION
-> OUTPUT
}

PROCESS LAYER_REASONING {
PROTOCOL
-> PROTOCOL_LAYER

PROTOCOL_LAYER
-> UPPER_AND_LOWER_LAYER_RELATIONS

UPPER_LAYER_PROTOCOL
-> RUNS_OVER
-> LOWER_LAYER_PROTOCOL

LOWER_LAYER_PROTOCOL
-> CARRIES
-> UPPER_LAYER_PDU
}

PROCESS ENCAPSULATION_REASONING {
APPLICATION_DATA
-> APPLICATION_PROTOCOL_PDU
-> TRANSPORT_PROTOCOL_PDU
-> NETWORK_PROTOCOL_PDU
-> LINK_PROTOCOL_PDU

RECEIVER
-> DECAPSULATION
-> UPPER_LAYER_PAYLOAD
}

PROCESS MESSAGE_REASONING {
PROTOCOL_MESSAGE
-> HEADER + PAYLOAD

HEADER
-> ORDERED_OR_DEFINED_FIELDS

FIELD_VALUES
-> MESSAGE_SEMANTICS

MESSAGE_TYPE
-> VALID_FIELD_AND_OPTION_SET
}

PROCESS MULTIPLEXING_REASONING {
MULTIPLE_UPPER_LAYER_FLOWS
-> PROTOCOL_IDENTIFIER_OR_PORT

PROTOCOL_IDENTIFIER_OR_PORT
-> LOWER_LAYER_MULTIPLEXING

RECEIVER
-> DEMULTIPLEXING

DEMULTIPLEXING
-> TARGET_PROTOCOL_OR_APPLICATION
}

PROCESS STATE_MACHINE_REASONING {
CURRENT_STATE + EVENT
-> TRANSITION_RULE

TRANSITION_RULE
-> ACTION + NEXT_STATE

TIMER_EXPIRY
-> TIMEOUT_EVENT

INVALID_EVENT_FOR_STATE
-> PROTOCOL_ERROR_OR_IGNORE_POLICY
}

PROCESS HANDSHAKE_REASONING {
ENDPOINT_A + ENDPOINT_B
-> HANDSHAKE

HANDSHAKE_MESSAGES
-> CAPABILITY_AND_PARAMETER_EXCHANGE

COMPATIBLE_PARAMETERS
-> NEGOTIATED_STATE

NEGOTIATED_STATE
-> SESSION_OR_CONNECTION_ESTABLISHMENT
}

PROCESS VERSION_NEGOTIATION_REASONING {
LOCAL_SUPPORTED_VERSIONS + REMOTE_SUPPORTED_VERSIONS
-> COMMON_VERSION_SET

COMMON_VERSION_SET
-> VERSION_SELECTION_POLICY

SELECTED_VERSION
-> ACTIVE_PROTOCOL_VERSION

NO_COMMON_VERSION
-> NEGOTIATION_FAILURE
}

PROCESS RELIABILITY_REASONING {
SENT_DATA
-> SEQUENCE_OR_MESSAGE_IDENTIFIER

RECEIVED_DATA
-> ACKNOWLEDGEMENT_OR_DELIVERY_STATE

MISSING_OR_UNACKNOWLEDGED_DATA
-> RETRANSMISSION_IF_PROTOCOL_SUPPORTS

DUPLICATE_DATA
-> DUPLICATE_HANDLING_POLICY

OUT_OF_ORDER_DATA
-> REORDER_OR_APPLICATION_POLICY
}

PROCESS ERROR_REASONING {
RECEIVED_PDU
-> ERROR_DETECTION

CHECKSUM_PRESENT
-> CHECKSUM_VALIDATION

INVALID_PDU
-> DISCARD_ERROR_RESPONSE_OR_RECOVERY_POLICY

VALID_PDU
-> CONTINUE_PROTOCOL_PROCESSING
}

PROCESS ROUTING_AND_FORWARDING_REASONING {
NETWORK_LAYER_PROTOCOL
-> DESTINATION_ADDRESS

DESTINATION_ADDRESS
-> ROUTE_OR_FORWARDING_LOOKUP

SELECTED_PATH
-> NEXT_HOP_OR_INTERFACE

PROTOCOL_CONTROL_MESSAGES
-> ROUTING_OR_REACHABILITY_STATE_UPDATE
}

PROCESS SECURITY_REASONING {
PROTOCOL_SESSION
-> SECURITY_REQUIREMENTS

SECURITY_REQUIREMENTS
-> AUTHENTICATION_ENCRYPTION_INTEGRITY_OR_ACCESS_CONTROL

HANDSHAKE
-> KEY_OR_CERTIFICATE_CONTEXT

VALID_SECURITY_ASSOCIATION
-> PROTECTED_PROTOCOL_EXCHANGE
}

PROCESS QOS_REASONING {
PROTOCOL_TRAFFIC
-> TRAFFIC_CLASS

TRAFFIC_CLASS
-> PRIORITY_OR_QOS_POLICY

QOS_POLICY
-> QUEUING_SCHEDULING_OR_RATE_BEHAVIOUR

OBSERVED_TRAFFIC
-> LATENCY_JITTER_THROUGHPUT_AND_LOSS_METRICS
}

PROCESS INTEROPERABILITY_REASONING {
IMPLEMENTATION_A + IMPLEMENTATION_B
-> COMMON_PROTOCOL_VERSION

COMMON_PROTOCOL_VERSION
-> COMPATIBLE_MESSAGE_AND_STATE_SEMANTICS

STANDARD_CONFORMANCE
-> EXPECTED_INTEROPERABILITY

OBSERVED_EXCHANGE
-> ACTUAL_INTEROPERABILITY_EVIDENCE
}

RULES {
IF NETWORK_PROTOCOL_IS_IDENTIFIED
THEN PRESERVE PROTOCOL_VERSION_LAYER_SUITE_ENDPOINT_AND_TIME_CONTEXT

IF PROTOCOL_MESSAGE_IS_INTERPRETED
THEN PRESERVE MESSAGE_TYPE_HEADER_FIELDS_PAYLOAD_AND_ENCODING_CONTEXT

IF PROTOCOL_STATE_IS_ASSERTED
THEN PRESERVE ENDPOINT_STATE_MACHINE_EVENT_AND_OBSERVATION_CONTEXT

IF RELIABILITY_IS_ASSERTED
THEN REQUIRE PROTOCOL_SPECIFIC_ACKNOWLEDGEMENT_RETRANSMISSION_OR_DELIVERY_EVIDENCE

IF SECURITY_IS_ASSERTED
THEN DISTINGUISH AUTHENTICATION_AUTHORIZATION_CONFIDENTIALITY_AND_INTEGRITY

IF INTEROPERABILITY_IS_ASSERTED
THEN PRESERVE VERSION_IMPLEMENTATION_CONFIGURATION_AND_STANDARD_CONTEXT

IF SEMANTIC_IDENTIFIERS_DIFFER
AND NETWORK_PROTOCOL_REFERENT_IS_SAME
THEN APPLY SEMANTIC_EQUIVALENCE
}

CONFIDENCE {
CONFIDENCE_SCORE =
WEIGHT(
PROTOCOL_IDENTITY_CERTAINTY,
VERSION_AND_LAYER_CERTAINTY,
MESSAGE_AND_FIELD_COMPLETENESS,
STATE_MACHINE_EVIDENCE,
SESSION_AND_NEGOTIATION_EVIDENCE,
SECURITY_AND_RELIABILITY_EVIDENCE,
STANDARD_AND_IMPLEMENTATION_EVIDENCE,
PROVENANCE_COMPLETENESS
)

LEVELS {
HIGH
MODERATE
LOW
INSUFFICIENT
}

IF PROTOCOL_VERSION_IS_UNKNOWN
THEN REDUCE_MESSAGE_AND_STATE_INTERPRETATION_CONFIDENCE

IF PACKET_OR_MESSAGE_CAPTURE_IS_PARTIAL
THEN REDUCE_SESSION_AND_RELIABILITY_CONFIDENCE

IF SPECIFICATION_IMPLEMENTATION_AND_OBSERVED_TRAFFIC_CONVERGE
THEN INCREASE_CONFIDENCE_SCORE
}

SEMANTIC_EQUIVALENCE {
EQUIVALENCE_KEY =
NORMALISE(
ENTITY_TYPE,
PROTOCOL_NAME,
PROTOCOL_VERSION,
LAYER,
MESSAGE_TYPE,
ENDPOINT_CONTEXT,
SESSION_IDENTIFIER,
OBSERVATION_TIME
)

IF EQUIVALENCE_KEY_A == EQUIVALENCE_KEY_B
THEN A SEMANTICALLY_EQUIVALENT_TO B
ELSE PRESERVE_DISTINCT_ENTITIES
}

REASONING_CONSTRAINTS {
NETWORK_PROTOCOL != NETWORK_SERVICE
PROTOCOL != PROTOCOL_IMPLEMENTATION
PROTOCOL_SUITE != SINGLE_PROTOCOL
PROTOCOL_LAYER != PROTOCOL_AS_IDENTICAL_CONCEPT
OSI_MODEL != TCP_IP_MODEL
PACKET != FRAME
SEGMENT != DATAGRAM
HEADER != PAYLOAD
ENCAPSULATION != ENCRYPTION
MULTIPLEXING != ROUTING
SESSION != CONNECTION_AS_IDENTICAL_CONCEPT
PORT_NUMBER != PHYSICAL_PORT
PROTOCOL_NUMBER != PORT_NUMBER
STATE != EVENT
HANDSHAKE != AUTHENTICATION_AS_IDENTICAL_CONCEPT
RELIABILITY != ORDERING_AS_IDENTICAL_CONCEPT
FLOW_CONTROL != CONGESTION_CONTROL
ERROR_DETECTION != ERROR_CORRECTION
AUTHENTICATION != AUTHORISATION
CONFIDENTIALITY != INTEGRITY
STANDARD_CONFORMANCE != GUARANTEED_INTEROPERABILITY
PROTOCOL_STATE_DEPENDS_ON_VERSION_ENDPOINT_CONFIGURATION_AND_TIME
PROVENANCE_MUST_BE_PRESERVED
UNCERTAINTY_MUST_NOT_BE_DISCARDED
}

VALIDATION {
CHECK_ENTITY_TYPES
CHECK_RELATION_DOMAINS_AND_RANGES
CHECK_PROTOCOL_IDENTITY
CHECK_PROTOCOL_VERSION
CHECK_PROTOCOL_SUITE
CHECK_LAYER_MAPPING
CHECK_PDU_TYPES
CHECK_MESSAGE_TYPES
CHECK_HEADERS_AND_FIELDS
CHECK_ADDRESS_AND_PORT_CONTEXT
CHECK_PROTOCOL_NUMBERS
CHECK_ENCAPSULATION
CHECK_MULTIPLEXING
CHECK_STATE_MACHINE
CHECK_STATE_TRANSITIONS
CHECK_TIMERS_AND_TIMEOUTS
CHECK_HANDSHAKES
CHECK_VERSION_NEGOTIATION
CHECK_RELIABILITY
CHECK_FLOW_CONTROL
CHECK_CONGESTION_CONTROL
CHECK_ERROR_HANDLING
CHECK_ROUTING_AND_FORWARDING
CHECK_SECURITY
CHECK_QOS
CHECK_STANDARD_REFERENCES
CHECK_INTEROPERABILITY
CHECK_CONFIGURATION
CHECK_PROVENANCE
CHECK_CONFIDENCE
CHECK_SEMANTIC_CONSISTENCY
}

OUTPUTS {
NORMALISED_NETWORK_PROTOCOL_ENTITIES
PROTOCOL_SUITE_RELATIONS
PROTOCOL_LAYER_RELATIONS
PDU_AND_MESSAGE_RELATIONS
HEADER_AND_FIELD_RELATIONS
ADDRESS_PORT_AND_IDENTIFIER_RELATIONS
ENCAPSULATION_RELATIONS
MULTIPLEXING_RELATIONS
STATE_MACHINE_RELATIONS
STATE_TRANSITIONS
HANDSHAKE_AND_NEGOTIATION_RELATIONS
VERSION_RELATIONS
SESSION_AND_CONNECTION_RELATIONS
RELIABILITY_RELATIONS
FLOW_AND_CONGESTION_CONTROL_RELATIONS
ERROR_HANDLING_RELATIONS
ROUTING_AND_FORWARDING_RELATIONS
SECURITY_RELATIONS
QOS_AND_PERFORMANCE_RELATIONS
STANDARD_AND_SPECIFICATION_RELATIONS
INTEROPERABILITY_RELATIONS
CONFIDENCE_SCORES
EVIDENCE_LINKS
PROVENANCE_RECORDS
EXPLANATION_PATHS
}

UPDATE_MODEL {
ON PROTOCOL_VERSION_SPECIFICATION_OR_CONFIGURATION_CHANGE {
NORMALISE
RESOLVE_PROTOCOL_LAYER_MESSAGE_SESSION_AND_ENDPOINT_IDENTITIES
UPDATE_LAYER_AND_SUITE_RELATIONS
UPDATE_MESSAGE_AND_FIELD_SEMANTICS
UPDATE_STATE_MACHINE_RELATIONS
UPDATE_NEGOTIATION_AND_SECURITY_CONTEXT
UPDATE_INTEROPERABILITY_CONTEXT
UPDATE_CONFIDENCE
PRESERVE_VERSION_HISTORY
}

ON NEW_MESSAGE_SESSION_TELEMETRY_OR_ERROR_EVIDENCE {
LINK_EVIDENCE
UPDATE_PROTOCOL_STATE
UPDATE_MESSAGE_AND_SESSION_RELATIONS
UPDATE_RELIABILITY_AND_ERROR_CONTEXT
UPDATE_QOS_AND_PERFORMANCE_PROFILE
UPDATE_CONFIDENCE
RECORD_PROVENANCE
}
}

FLOW_HASH {
HASH_INPUT =
CANONICALISE(
ENTITY_TYPES,
RELATIONSHIPS,
RULES,
CONFIDENCE,
SEMANTIC_EQUIVALENCE,
REASONING_CONSTRAINTS,
UPDATE_MODEL
)

FLOW_HASH = SHA256(HASH_INPUT)
}

AI_CONSUMPTION {
INDEX {
ONTOLOGY
ENTITY_TYPES
RELATIONSHIPS
RULES
OUTPUTS
}

RETRIEVE {
BY_NETWORK_PROTOCOL
BY_PROTOCOL_SUITE
BY_LAYER
BY_VERSION
BY_MESSAGE_TYPE
BY_PDU
BY_ENDPOINT
BY_SESSION
BY_STATE
BY_STANDARD
BY_SECURITY_CONTEXT
BY_CONFIDENCE
}

REASON {
APPLY_RELATIONSHIPS
APPLY_RULES
ANALYSE_PROTOCOL_LAYERS
TRACE_ENCAPSULATION
ANALYSE_PROTOCOL_MESSAGES
ANALYSE_MULTIPLEXING
TRACE_STATE_MACHINES
ANALYSE_HANDSHAKES
ANALYSE_VERSION_NEGOTIATION
ANALYSE_RELIABILITY
ANALYSE_ERROR_HANDLING
ANALYSE_ROUTING_AND_FORWARDING
ANALYSE_PROTOCOL_SECURITY
ANALYSE_QOS_AND_PERFORMANCE
ANALYSE_INTEROPERABILITY
CHECK_SEMANTIC_EQUIVALENCE
PRESERVE_UNCERTAINTY
TRACE_EVIDENCE
TRACE_PROVENANCE
GENERATE_EXPLANATION_PATH
}

RESPONSE_POLICY {
DISTINGUISH_PROTOCOL_FROM_SERVICE_IMPLEMENTATION_AND_STANDARD
PRESERVE_PROTOCOL_VERSION_LAYER_MESSAGE_STATE_SESSION_ENDPOINT_AND_CONFIGURATION_CONTEXT
DISTINGUISH_ENCAPSULATION_ENCRYPTION_MULTIPLEXING_AND_ROUTING
DISTINGUISH_RELIABILITY_ORDERING_FLOW_CONTROL_AND_CONGESTION_CONTROL
PRESERVE_SECURITY_INTEROPERABILITY_AND_PROVENANCE_CONTEXT
RETURN_CONFIDENCE_WHEN_AVAILABLE
RETURN_PROVENANCE_WHEN_AVAILABLE
AVOID_UNSUPPORTED_NETWORK_PROTOCOL_INFERENCE
}
}

TERMINAL {
RESULT =
VALIDATED(
SEMANTICALLY_NORMALISED(
EVIDENCE_LINKED(
CONFIDENCE_AWARE(
NETWORK_PROTOCOL_KNOWLEDGE
)
)
)
)
}
}

END FLOW