NAT Firewall Rule Updates via SCTP Verification Tag Validation

Resolve Bottlenecks,
Find Innovative Solutions
Generate Solutions

Solution Overview

Problem

Network address translation (NAT) devices and firewalls do not automatically expire rules for Stream Control Transmission Protocol (SCTP) associations, leading to potential security vulnerabilities from denial-of-service attacks when verification tag values change, especially during endpoint restarts or unauthorized message spoofing.

Innovation Solution

Implementing a method where NAT and firewall devices update rules only after verifying the authenticity of transport-layer message acknowledgment sequences, using internal and external source/destination tags to ensure genuine packet flows and prevent unauthorized changes, thereby thwarting denial-of-service attacks.

Engineering Contradictions & Design Principles

VSEngineering Contradiction Analysis

1Adaptability or versatility

If NAT and firewall devices store verification tag values with SCTP association rules, then rules can be updated to reflect changed verification tags during endpoint restarts, but security vulnerability occurs if the device updates verification tags based on spoofed or unauthorized messages

Engineering Contradiction:
Improveability to update rules for changed verification tagsVSAvoidsecurity against spoofed messages
Core Design Contradiction:
Adaptability or versatilityVSReliability

Solution Approach 1:

The patent applies preliminary action by storing the initial verification tag value from the INIT message before any association establishment, and only updating the verification tag after receiving a completion acknowledgment (COOKIE-ACK) that confirms the association was properly established. This preliminary storage and conditional update mechanism prevents spoofed messages from corrupting the verification tag, while still allowing legitimate tag changes during endpoint restarts.

Inventive Principle:
Principle #10Preliminary action

2Duration of action of stationary object

If NAT and firewall devices use timers or administrative action to expire rules, then rules have finite duration, but rules do not automatically expire when SCTP association ends, leading to potential security vulnerabilities

Engineering Contradiction:
Improvefinite duration of rulesVSAvoidautomatic expiration with association
Core Design Contradiction:
Duration of action of stationary objectVSReliability

Solution Approach 1:

The patent implements feedback by monitoring the SCTP association state through the verification tag validation process. When the verification tag in incoming messages no longer matches the stored verification tag, the system detects that the association has ended and automatically expires the rule. This feedback mechanism ensures rules automatically expire when associations end, eliminating the security vulnerability of stale rules while maintaining finite duration through association-lifecycle binding.

Inventive Principle:
Principle #23Feedback

Data Source

PatentUS7630364B2Securely managing network element state information in transport-layer associations
Publication Date: 2009.12.08 CISCO TECHNOLOGY INC
  • US7630364B2 patent drawing
  • US7630364B2 patent drawing
  • US7630364B2 patent drawing

AI summary

Rules in NAT and firewall devices are updated only when a packet flow is verified as genuine through transport-layer message acknowledgment sequences. When a device receives a packet indicating initiation of a new association, the device stores an internal source tag, an internal destination tag, an external source tag, and an external destination tag. Only after receiving a completion acknowledgment message from the destination node, the device sets the internal source tag equal to the external source tag, and sets the internal destination tag equal to the external destination tag. The rules are then updated based on the internal tags. As a result, the approach thwarts denial of service (DOS) attacks that seek to modify rules of NAT and firewall devices to permit harmful traffic.