Test Infomation

Title	Detect modification of DstOpt header option data after AH
CommandLine	./HTR_A_In_DM_DSTH_optdata.seq -pkt ./HTR_A_DM_DSTH2_optdata.def -log 20.html -ti Detect modification of DstOpt header option data after AH
TestVersion	REL_1_1
ToolVersion	REL_1_1
Start	2000/07/31 18:19:20
Tn	/usr/local/v6eval//etc//tn.def
Nu	/usr/local/v6eval//etc//nut.def
Pkt	./HTR_A_DM_DSTH2_optdata.def
System	kame-freebsd
TargetName	FreeBSD-3.4 Release + KAME-stable-20000704
HostName	target1.toba.tahi.org
Type	host

Test Sequence Execution Log

18:19:20	Start
	* Target initialization phase * Target: Clear all SAD and SPD entries
18:19:20	vRemote(ipsecClearAll.rmt) ``/usr/local/v6eval//bin/kame-freebsd/ipsecClearAll.rmt -t kame-freebsd -u root -p v6eval -d cuaa0c -o 1 '' connected target1# target1# /usr/local/v6/sbin/setkey -c spdflush; flush; ^D target1# target1# sendMessagesSync: never got /usr/local/v6/sbin/setkey -cspdflush;flush; echo $status 0 target1# ~ [EOT]
	Target: Set SAD entries: src="3ffe:501:ffff:ff05:200:ff:fe00:c1c1" dst="3ffe:501:ffff:ff03:200:ff:fe00:b0b0" spi=0x1000 mode=transport protocol=ah aalgo=hmac-md5 aalgokey=0123456789ABCDEF
18:19:27	vRemote(ipsecSetSAD.rmt) ``/usr/local/v6eval//bin/kame-freebsd/ipsecSetSAD.rmt -t kame-freebsd -u root -p v6eval -d cuaa0c -o 1 src="3ffe:501:ffff:ff05:200:ff:fe00:c1c1" dst="3ffe:501:ffff:ff03:200:ff:fe00:b0b0" spi=0x1000 mode=transport protocol=ah aalgo=hmac-md5 aalgokey=0123456789ABCDEF '' connected target1# target1# /usr/local/v6/sbin/setkey -c add 3ffe:501:ffff:ff05:200:ff:fe00:c1c1 3ffe:501:ffff:ff03:200:ff:fe00:b0b0 ah 0x1000 -m transport -A hmac-md5 "0123456789ABCDEF" ; dump; ^D 3ffe:501:ffff:ff05:200:ff:fe00:c1c1 3ffe:501:ffff:ff03:200:ff:fe00:b0b0 ah mode=transport spi=4096(0x00001000) reqid=0(0x00000000) A: hmac-md5 30313233 34353637 38394142 43444546 replay=0 flags=0x00000040 state=mature seq=0 pid=351 created: Jul 31 18:18:38 2000 current: Jul 31 18:18:38 2000 diff: 0(s) hard: 0(s) soft: 0(s) last: hard: 0(s) soft: 0(s) current: 0(bytes) hard: 0(bytes) soft: 0(bytes) allocated: 0 hard: 0 soft: 0 refcnt=1 target1# target1# sendMessagesSync: never got /usr/local/v6/sbin/setkey -cadd 3ffe:501:ffff:ff05:200:ff:fe00:c1c1 3ffe:501:ffff:ff03:200:ff:fe00:b0b0 ah 0x1000 -m transport -A hmac-md5 "0123456789ABCDEF";dump; echo $status 0 target1# ~ [EOT]
	Target: Set SPD entries: src="3ffe:501:ffff:ff05:200:ff:fe00:c1c1" dst="3ffe:501:ffff:ff03:200:ff:fe00:b0b0" upperspec=any direction=in protocol=ah mode=transport
18:19:36	vRemote(ipsecSetSPD.rmt) ``/usr/local/v6eval//bin/kame-freebsd/ipsecSetSPD.rmt -t kame-freebsd -u root -p v6eval -d cuaa0c -o 1 src="3ffe:501:ffff:ff05:200:ff:fe00:c1c1" dst="3ffe:501:ffff:ff03:200:ff:fe00:b0b0" upperspec=any direction=in protocol=ah mode=transport '' connected target1# target1# /usr/local/v6/sbin/setkey -c spdadd 3ffe:501:ffff:ff05:200:ff:fe00:c1c1 3ffe:501:ffff:ff03:200:ff:fe00:b0b0 any -P in ipsec ah/transport/3ffe:501:ffff:ff05:200:ff:fe00:c1c1-3ffe:501:ffff:ff03:200:ff:fe00:b0b0/require ; spddump; ^D 3ffe:501:ffff:ff05:200:ff:fe00:c1c1[any] 3ffe:501:ffff:ff03:200:ff:fe00:b0b0[any] any in ipsec ah/transport/3ffe:501:ffff:ff05:200:ff:fe00:c1c1-3ffe:501:ffff:ff03:200:ff:fe00:b0b0/require spid=22 seq=0 pid=352 refcnt=1 target1# target1# sendMessagesSync: never got /usr/local/v6/sbin/setkey -cspdadd 3ffe:501:ffff:ff05:200:ff:fe00:c1c1 3ffe:501:ffff:ff03:200:ff:fe00:b0b0 any -P in ipsec ah/transport/3ffe:501:ffff:ff05:200:ff:fe00:c1c1-3ffe:501:ffff:ff03:200:ff:fe00:b0b0/require;spddump; echo $status 0 target1# ~ [EOT]
	* Target testing phase *
18:19:46	Start Capturing Packets (Link0)
	Subtest No.1: option bit 000: option data is immutable
18:19:46	vSend(Link0,echo_request_from_host1_dstopt_ah) send echo_request_from_host1_dstopt_ah
18:19:46	vRecv(Link0,ns_to_router echo_reply_to_host1) timeout:6 cntLimit:0 seektime:0 recv echo_reply_to_host1
18:19:47	vRecv(Link0,ns_to_router) timeout:6 cntLimit:0 seektime:0 recv ns_to_router
18:19:51	vSend(Link0,na_from_router) send na_from_router
	NC about Router was PROBE state, but now it's REACHABLE.
18:19:51	vRecv(Link0,ns_to_router) timeout:6 cntLimit:0 seektime:0 vRecv() return status=1
18:19:57	vRecv(Link0,ns_to_router) timeout:6 cntLimit:0 seektime:0 vRecv() return status=1
	TN received echo reply from NUT to HOST1.
18:20:03	vSend(Link0,echo_request_from_host1_ah_dm_dsth_000optdata) send echo_request_from_host1_ah_dm_dsth_000optdata
18:20:04	vRecv(Link0,ns_to_router echo_reply_to_host1) timeout:6 cntLimit:0 seektime:0 vRecv() return status=1
	TN received no echo reply from NUT to HOST1. TN ignored the modified echo request packet. Subtest No.1 PASS Subtest No.2: option bit 001: option data is mutable
18:20:10	vSend(Link0,echo_request_from_host1_ah_dm_dsth_001optdata) send echo_request_from_host1_ah_dm_dsth_001optdata
18:20:10	vRecv(Link0,ns_to_router echo_reply_to_host1) timeout:6 cntLimit:0 seektime:0 recv echo_reply_to_host1
18:20:10	vRecv(Link0,ns_to_router) timeout:6 cntLimit:0 seektime:0 vRecv() return status=1
	TN received echo reply from NUT to HOST1. Subtest No.2 PASS Subtest Results \|1\| option bit 000: option data is immutable \| PASS \| \|2\| option bit 001: option data is mutable \| PASS \| OK
18:20:16	End

Packet Reverse Log

send echo_request_from_host1_dstopt_ah at 18:19:46

Frame_Ether                     (length:102)
| Hdr_Ether                       (length:14)
| | DestinationAddress               = 0:a0:24:95:a4:91
| | SourceAddress                    = 0:0:0:0:a0:a0
| | Type                             = 34525
| Packet_IPv6                     (length:88)
| | Hdr_IPv6                        (length:40)
| | | Version                          = 6
| | | TrafficClass                     = 0
| | | FlowLabel                        = 0
| | | PayloadLength                    = 48
| | | NextHeader                       = 51
| | | HopLimit                         = 64
| | | SourceAddress                    = 3ffe:501:ffff:ff05:200:ff:fe00:c1c1
| | | DestinationAddress               = 3ffe:501:ffff:ff03:200:ff:fe00:b0b0
| | Hdr_AH                          (length:24)
| | | NextHeader                       = 60
| | | PayloadLength                    = 4
| | | Reserved                         = 0
| | | SPI                              = 4096
| | | SequenceNumber                   = 2
| | | algorithm                        = aalgo_hmacmd5_012
| | | ICV                              = 7e9a860d 5ce3fe1b  21c63b3b calc(7e9a860d 5ce3fe1b  21c63b3b)
| | Hdr_Destination                 (length:8)
| | | NextHeader                       = 58
| | | HeaderExtLength                  = 0
| | | Opt_ANY                         (length:6)
| | | | OptionType                       = 2
| | | | OptDataLength                    = 4
| | | | data                             = 0f0f0000
| | ICMPv6_EchoRequest              (length:16)
| | | Type                             = 128
| | | Code                             = 0
| | | Checksum                         = 7333 calc(7333)
| | | Identifier                       = 0
| | | SequenceNumber                   = 0
| | | Payload                         (length:8)
| | | | data                             = 4563686f 44617461

Recv at 18:19:46

Frame_Ether                     (length:70)
| Hdr_Ether                       (length:14)
| | DestinationAddress               = 0:0:0:0:a0:a0
| | SourceAddress                    = 0:a0:24:95:a4:91
| | Type                             = 34525
| Packet_IPv6                     (length:56)
| | Hdr_IPv6                        (length:40)
| | | Version                          = 6
| | | TrafficClass                     = 0
| | | FlowLabel                        = 0
| | | PayloadLength                    = 16
| | | NextHeader                       = 58
| | | HopLimit                         = 64
| | | SourceAddress                    = 3ffe:501:ffff:ff03:200:ff:fe00:b0b0
| | | DestinationAddress               = 3ffe:501:ffff:ff05:200:ff:fe00:c1c1
| | ICMPv6_EchoReply                (length:16)
| | | Type                             = 129
| | | Code                             = 0
| | | Checksum                         = 7077 calc(7077)
| | | Identifier                       = 0
| | | SequenceNumber                   = 0
| | | Payload                         (length:8)
| | | | data                             = 4563686f 44617461
===ns_to_router=================================
ng compare _HDR_IPV6_ns_to_router.HopLimit received:64 = 255
ng compare _HDR_IPV6_ns_to_router.DestinationAddress received:3ffe:501:ffff:ff05:200:ff:fe00:c1c1 = oneof(v6("3ffe:501:ffff:ff03:200:ff:fe00:a0a0"),v6merge("FF02:0:0:0:0:1:FF00:0000",104,v6("3ffe:501:ffff:ff03:200:ff:fe00:a0a0")))
ng meta Packet_IPv6.ICMPv6_NS != Packet_IPv6.ICMPv6_EchoReply
===echo_reply_to_host1=================================

Recv at 18:19:51

Frame_Ether                     (length:86)
| Hdr_Ether                       (length:14)
| | DestinationAddress               = 0:0:0:0:a0:a0
| | SourceAddress                    = 0:a0:24:95:a4:91
| | Type                             = 34525
| Packet_IPv6                     (length:72)
| | Hdr_IPv6                        (length:40)
| | | Version                          = 6
| | | TrafficClass                     = 0
| | | FlowLabel                        = 0
| | | PayloadLength                    = 32
| | | NextHeader                       = 58
| | | HopLimit                         = 255
| | | SourceAddress                    = 3ffe:501:ffff:ff03:200:ff:fe00:b0b0
| | | DestinationAddress               = 3ffe:501:ffff:ff03:200:ff:fe00:a0a0
| | ICMPv6_NS                       (length:32)
| | | Type                             = 135
| | | Code                             = 0
| | | Checksum                         = 60641 calc(60641)
| | | Reserved                         = 0
| | | TargetAddress                    = 3ffe:501:ffff:ff03:200:ff:fe00:a0a0
| | | Opt_ICMPv6_SLL                  (length:8)
| | | | Type                             = 1
| | | | Length                           = 1
| | | | LinkLayerAddress                 = 0:a0:24:95:a4:91
===ns_to_router=================================

send na_from_router at 18:19:51

Frame_Ether                     (length:86)
| Hdr_Ether                       (length:14)
| | DestinationAddress               = 0:a0:24:95:a4:91
| | SourceAddress                    = 0:0:0:0:a0:a0
| | Type                             = 34525
| Packet_IPv6                     (length:72)
| | Hdr_IPv6                        (length:40)
| | | Version                          = 6
| | | TrafficClass                     = 0
| | | FlowLabel                        = 0
| | | PayloadLength                    = 32
| | | NextHeader                       = 58
| | | HopLimit                         = 255
| | | SourceAddress                    = 3ffe:501:ffff:ff03:200:ff:fe00:a0a0
| | | DestinationAddress               = 3ffe:501:ffff:ff03:200:ff:fe00:b0b0
| | ICMPv6_NA                       (length:32)
| | | Type                             = 136
| | | Code                             = 0
| | | Checksum                         = 13319 calc(13319)
| | | RFlag                            = 1
| | | SFlag                            = 1
| | | OFlag                            = 1
| | | Reserved                         = 0
| | | TargetAddress                    = 3ffe:501:ffff:ff03:200:ff:fe00:a0a0
| | | Opt_ICMPv6_TLL                  (length:8)
| | | | Type                             = 2
| | | | Length                           = 1
| | | | LinkLayerAddress                 = 0:0:0:0:a0:a0

send echo_request_from_host1_ah_dm_dsth_000optdata at 18:20:04

Frame_Ether                     (length:102)
| Hdr_Ether                       (length:14)
| | DestinationAddress               = 0:a0:24:95:a4:91
| | SourceAddress                    = 0:0:0:0:a0:a0
| | Type                             = 34525
| Packet_IPv6                     (length:88)
| | Hdr_IPv6                        (length:40)
| | | Version                          = 6
| | | TrafficClass                     = 0
| | | FlowLabel                        = 0
| | | PayloadLength                    = 48
| | | NextHeader                       = 51
| | | HopLimit                         = 64
| | | SourceAddress                    = 3ffe:501:ffff:ff05:200:ff:fe00:c1c1
| | | DestinationAddress               = 3ffe:501:ffff:ff03:200:ff:fe00:b0b0
| | Hdr_AH                          (length:24)
| | | NextHeader                       = 60
| | | PayloadLength                    = 4
| | | Reserved                         = 0
| | | SPI                              = 4096
| | | SequenceNumber                   = 3
| | | ICV                              =  calc()
| | | Padding                          = 28025866 f6bf02d4  0c6687bb
| | Hdr_Destination                 (length:8)
| | | NextHeader                       = 58
| | | HeaderExtLength                  = 0
| | | Opt_ANY                         (length:6)
| | | | OptionType                       = 2
| | | | OptDataLength                    = 4
| | | | data                             = 00000000
| | ICMPv6_EchoRequest              (length:16)
| | | Type                             = 128
| | | Code                             = 0
| | | Checksum                         = 7333 calc(7333)
| | | Identifier                       = 0
| | | SequenceNumber                   = 0
| | | Payload                         (length:8)
| | | | data                             = 4563686f 44617461

send echo_request_from_host1_ah_dm_dsth_001optdata at 18:20:10

Frame_Ether                     (length:102)
| Hdr_Ether                       (length:14)
| | DestinationAddress               = 0:a0:24:95:a4:91
| | SourceAddress                    = 0:0:0:0:a0:a0
| | Type                             = 34525
| Packet_IPv6                     (length:88)
| | Hdr_IPv6                        (length:40)
| | | Version                          = 6
| | | TrafficClass                     = 0
| | | FlowLabel                        = 0
| | | PayloadLength                    = 48
| | | NextHeader                       = 51
| | | HopLimit                         = 64
| | | SourceAddress                    = 3ffe:501:ffff:ff05:200:ff:fe00:c1c1
| | | DestinationAddress               = 3ffe:501:ffff:ff03:200:ff:fe00:b0b0
| | Hdr_AH                          (length:24)
| | | NextHeader                       = 60
| | | PayloadLength                    = 4
| | | Reserved                         = 0
| | | SPI                              = 4096
| | | SequenceNumber                   = 4
| | | ICV                              =  calc()
| | | Padding                          = fd546c54 984912ab  33c58c2c
| | Hdr_Destination                 (length:8)
| | | NextHeader                       = 58
| | | HeaderExtLength                  = 0
| | | Opt_ANY                         (length:6)
| | | | OptionType                       = 34
| | | | OptDataLength                    = 4
| | | | data                             = 1f1f0000
| | ICMPv6_EchoRequest              (length:16)
| | | Type                             = 128
| | | Code                             = 0
| | | Checksum                         = 7333 calc(7333)
| | | Identifier                       = 0
| | | SequenceNumber                   = 0
| | | Payload                         (length:8)
| | | | data                             = 4563686f 44617461

Recv at 18:20:10

Frame_Ether                     (length:70)
| Hdr_Ether                       (length:14)
| | DestinationAddress               = 0:0:0:0:a0:a0
| | SourceAddress                    = 0:a0:24:95:a4:91
| | Type                             = 34525
| Packet_IPv6                     (length:56)
| | Hdr_IPv6                        (length:40)
| | | Version                          = 6
| | | TrafficClass                     = 0
| | | FlowLabel                        = 0
| | | PayloadLength                    = 16
| | | NextHeader                       = 58
| | | HopLimit                         = 64
| | | SourceAddress                    = 3ffe:501:ffff:ff03:200:ff:fe00:b0b0
| | | DestinationAddress               = 3ffe:501:ffff:ff05:200:ff:fe00:c1c1
| | ICMPv6_EchoReply                (length:16)
| | | Type                             = 129
| | | Code                             = 0
| | | Checksum                         = 7077 calc(7077)
| | | Identifier                       = 0
| | | SequenceNumber                   = 0
| | | Payload                         (length:8)
| | | | data                             = 4563686f 44617461
===ns_to_router=================================
ng compare _HDR_IPV6_ns_to_router.HopLimit received:64 = 255
ng compare _HDR_IPV6_ns_to_router.DestinationAddress received:3ffe:501:ffff:ff05:200:ff:fe00:c1c1 = oneof(v6("3ffe:501:ffff:ff03:200:ff:fe00:a0a0"),v6merge("FF02:0:0:0:0:1:FF00:0000",104,v6("3ffe:501:ffff:ff03:200:ff:fe00:a0a0")))
ng meta Packet_IPv6.ICMPv6_NS != Packet_IPv6.ICMPv6_EchoReply
===echo_reply_to_host1=================================