blob: 1fbd6b196e182b722e41abfe944ad2b8ec0cf0f2 [file] [log] [blame]
Yingdi Yu7a813892015-06-09 14:19:54 -07001/* -*- Mode:C++; c-file-style:"gnu"; indent-tabs-mode:nil; -*- */
Davide Pesavento0f830802018-01-16 23:58:58 -05002/*
Davide Pesavento187e9f92023-03-20 22:46:22 -04003 * Copyright (c) 2013-2023 Regents of the University of California.
Yingdi Yu7a813892015-06-09 14:19:54 -07004 *
5 * This file is part of ndn-cxx library (NDN C++ library with eXperimental eXtensions).
6 *
7 * ndn-cxx library is free software: you can redistribute it and/or modify it under the
8 * terms of the GNU Lesser General Public License as published by the Free Software
9 * Foundation, either version 3 of the License, or (at your option) any later version.
10 *
11 * ndn-cxx library is distributed in the hope that it will be useful, but WITHOUT ANY
12 * WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A
13 * PARTICULAR PURPOSE. See the GNU Lesser General Public License for more details.
14 *
15 * You should have received copies of the GNU General Public License and GNU Lesser
16 * General Public License along with ndn-cxx, e.g., in COPYING.md file. If not, see
17 * <http://www.gnu.org/licenses/>.
18 *
19 * See AUTHORS.md for complete list of ndn-cxx authors and contributors.
20 */
21
Davide Pesavento7e780642018-11-24 15:51:34 -050022#include "ndn-cxx/security/validity-period.hpp"
Davide Pesavento152ef442023-04-22 02:02:29 -040023#include "ndn-cxx/util/concepts.hpp"
Yingdi Yu7a813892015-06-09 14:19:54 -070024
Davide Pesavento7e780642018-11-24 15:51:34 -050025#include "tests/boost-test.hpp"
Davide Pesavento4c1ad4c2020-11-16 21:12:02 -050026#include "tests/unit/clock-fixture.hpp"
Davide Pesavento74daf742018-11-23 18:14:13 -050027
Yingdi Yu7a813892015-06-09 14:19:54 -070028#include <boost/lexical_cast.hpp>
29
Davide Pesavento47ce2ee2023-05-09 01:33:33 -040030namespace ndn::tests {
Yingdi Yu10bf63a2015-11-04 14:14:37 -080031
Davide Pesavento47ce2ee2023-05-09 01:33:33 -040032using ndn::security::ValidityPeriod;
Yingdi Yu7a813892015-06-09 14:19:54 -070033
Davide Pesavento152ef442023-04-22 02:02:29 -040034BOOST_CONCEPT_ASSERT((boost::EqualityComparable<ValidityPeriod>));
35BOOST_CONCEPT_ASSERT((WireEncodable<ValidityPeriod>));
36BOOST_CONCEPT_ASSERT((WireEncodableWithEncodingBuffer<ValidityPeriod>));
37BOOST_CONCEPT_ASSERT((WireDecodable<ValidityPeriod>));
38static_assert(std::is_convertible_v<ValidityPeriod::Error*, tlv::Error*>,
39 "ValidityPeriod::Error must inherit from tlv::Error");
40
Davide Pesaventoeee3e822016-11-26 19:19:34 +010041BOOST_AUTO_TEST_SUITE(Security)
42BOOST_AUTO_TEST_SUITE(TestValidityPeriod)
Yingdi Yu7a813892015-06-09 14:19:54 -070043
Junxiao Shi9ee770b2022-04-25 23:33:33 +000044BOOST_AUTO_TEST_SUITE(MakeRelative)
45
46BOOST_AUTO_TEST_CASE(FromNow)
47{
48 auto vp = ValidityPeriod::makeRelative(-1_s, 365_days, time::fromIsoString("20091117T203458,651387237"));
49 auto period = vp.getPeriod();
50 BOOST_CHECK_EQUAL(period.first, time::fromIsoString("20091117T203458"));
51 BOOST_CHECK_EQUAL(period.second, time::fromIsoString("20101117T203458"));
52}
53
54BOOST_AUTO_TEST_CASE(Positive)
55{
56 auto vp = ValidityPeriod::makeRelative(10_s, 1_days, time::fromIsoString("20091117T203458,651387237"));
57 auto period = vp.getPeriod();
58 BOOST_CHECK_EQUAL(period.first, time::fromIsoString("20091117T203509"));
59 BOOST_CHECK_EQUAL(period.second, time::fromIsoString("20091118T203458"));
60}
61
62BOOST_AUTO_TEST_CASE(Negative)
63{
64 auto vp = ValidityPeriod::makeRelative(-1_days, -10_s, time::fromIsoString("20091117T203458,651387237"));
65 auto period = vp.getPeriod();
66 BOOST_CHECK_EQUAL(period.first, time::fromIsoString("20091116T203459"));
67 BOOST_CHECK_EQUAL(period.second, time::fromIsoString("20091117T203448"));
68}
69
70BOOST_AUTO_TEST_SUITE_END() // MakeRelative
71
Davide Pesavento4c1ad4c2020-11-16 21:12:02 -050072BOOST_FIXTURE_TEST_CASE(ConstructorSetter, ClockFixture)
Yingdi Yu7a813892015-06-09 14:19:54 -070073{
Davide Pesavento4c1ad4c2020-11-16 21:12:02 -050074 auto now = m_systemClock->getNow();
75 auto notBefore = now - 1_day;
76 auto notAfter = notBefore + 2_days;
77 ValidityPeriod validity1(notBefore, notAfter);
Yingdi Yu7a813892015-06-09 14:19:54 -070078
79 auto period = validity1.getPeriod();
80 BOOST_CHECK_GE(period.first, notBefore); // fractional seconds will be removed
Davide Pesavento0f830802018-01-16 23:58:58 -050081 BOOST_CHECK_LT(period.first, notBefore + 1_s);
Yingdi Yu7a813892015-06-09 14:19:54 -070082
83 BOOST_CHECK_LE(period.second, notAfter); // fractional seconds will be removed
Davide Pesavento0f830802018-01-16 23:58:58 -050084 BOOST_CHECK_GT(period.second, notAfter - 1_s);
Yingdi Yu7a813892015-06-09 14:19:54 -070085 BOOST_CHECK_EQUAL(validity1.isValid(), true);
86
Davide Pesavento0f830802018-01-16 23:58:58 -050087 BOOST_CHECK_EQUAL(ValidityPeriod(now - 2_days, now - 1_day).isValid(), false);
Yingdi Yu7a813892015-06-09 14:19:54 -070088
89 BOOST_CHECK_NO_THROW((ValidityPeriod()));
90 ValidityPeriod validity2;
Yingdi Yu10bf63a2015-11-04 14:14:37 -080091 BOOST_CHECK_EQUAL(validity2.isValid(), false);
Yingdi Yu7a813892015-06-09 14:19:54 -070092
93 validity2.setPeriod(notBefore, notAfter);
Davide Pesavento187e9f92023-03-20 22:46:22 -040094 BOOST_CHECK(validity2.getPeriod() != std::pair(time::getUnixEpoch(), time::getUnixEpoch()));
Yingdi Yu7a813892015-06-09 14:19:54 -070095 BOOST_CHECK_EQUAL(validity2, validity1);
96
Davide Pesavento0f830802018-01-16 23:58:58 -050097 validity1.setPeriod(time::getUnixEpoch(), time::getUnixEpoch() + 10 * 365_days);
Yingdi Yu7a813892015-06-09 14:19:54 -070098 BOOST_CHECK_EQUAL(boost::lexical_cast<std::string>(validity1),
99 "(19700101T000000, 19791230T000000)");
100
Davide Pesavento0f830802018-01-16 23:58:58 -0500101 validity1.setPeriod(time::getUnixEpoch() + 1_ns,
102 time::getUnixEpoch() + (10 * 365_days) + 1_ns);
Yingdi Yu7a813892015-06-09 14:19:54 -0700103 BOOST_CHECK_EQUAL(boost::lexical_cast<std::string>(validity1),
104 "(19700101T000001, 19791230T000000)");
Yingdi Yu10bf63a2015-11-04 14:14:37 -0800105
106 BOOST_CHECK_EQUAL(ValidityPeriod(now, now).isValid(), true);
Davide Pesavento0f830802018-01-16 23:58:58 -0500107 BOOST_CHECK_EQUAL(ValidityPeriod(now + 1_s, now).isValid(), false);
Yingdi Yu7a813892015-06-09 14:19:54 -0700108}
109
110const uint8_t VP1[] = {
111 0xfd, 0x00, 0xfd, 0x26, // ValidityPeriod
112 0xfd, 0x00, 0xfe, 0x0f, // NotBefore
113 0x31, 0x39, 0x37, 0x30, 0x30, 0x31, 0x30, 0x31, // 19700101T000000
114 0x54, 0x30, 0x30, 0x30, 0x30, 0x30, 0x30,
115 0xfd, 0x00, 0xff, 0x0f, // NotAfter
116 0x31, 0x39, 0x37, 0x30, 0x30, 0x31, 0x30, 0x32, // 19700102T000000
117 0x54, 0x30, 0x30, 0x30, 0x30, 0x30, 0x30
118};
119
120BOOST_AUTO_TEST_CASE(EncodingDecoding)
121{
Davide Pesavento47ce2ee2023-05-09 01:33:33 -0400122 time::system_clock::time_point notBefore = time::getUnixEpoch();
123 time::system_clock::time_point notAfter = notBefore + 1_day;
Yingdi Yu7a813892015-06-09 14:19:54 -0700124 ValidityPeriod v1(notBefore, notAfter);
Yingdi Yu7a813892015-06-09 14:19:54 -0700125 BOOST_CHECK_EQUAL_COLLECTIONS(v1.wireEncode().begin(), v1.wireEncode().end(),
126 VP1, VP1 + sizeof(VP1));
127
Davide Pesaventofbea4fc2022-02-08 07:26:04 -0500128 ValidityPeriod v2(Block{VP1});
Yingdi Yu7a813892015-06-09 14:19:54 -0700129 BOOST_CHECK(v1.getPeriod() == v2.getPeriod());
130}
131
132const uint8_t VP_E1[] = {
133 0xfd, 0x00, 0xff, 0x26, // ValidityPeriod (error)
134 0xfd, 0x00, 0xfe, 0x0f, // NotBefore
135 0x31, 0x39, 0x37, 0x30, 0x30, 0x31, 0x30, 0x31, // 19700101T000000
136 0x54, 0x30, 0x30, 0x30, 0x30, 0x30, 0x30,
137 0xfd, 0x00, 0xff, 0x0f, // NotAfter
138 0x31, 0x39, 0x37, 0x30, 0x30, 0x31, 0x30, 0x32, // 19700102T000000
139 0x54, 0x30, 0x30, 0x30, 0x30, 0x30, 0x30
140};
141
142const uint8_t VP_E2[] = {
143 0xfd, 0x00, 0xfd, 0x26, // ValidityPeriod
144 0xfd, 0x00, 0xff, 0x0f, // NotBefore (error)
145 0x31, 0x39, 0x37, 0x30, 0x30, 0x31, 0x30, 0x31, // 19700101T000000
146 0x54, 0x30, 0x30, 0x30, 0x30, 0x30, 0x30,
147 0xfd, 0x00, 0xff, 0x0f, // NotAfter
148 0x31, 0x39, 0x37, 0x30, 0x30, 0x31, 0x30, 0x32, // 19700102T000000
149 0x54, 0x30, 0x30, 0x30, 0x30, 0x30, 0x30
150};
151
152const uint8_t VP_E3[] = {
153 0xfd, 0x00, 0xfd, 0x26, // ValidityPeriod
154 0xfd, 0x00, 0xfe, 0x0f, // NotBefore
155 0x31, 0x39, 0x37, 0x30, 0x30, 0x31, 0x30, 0x31, // 19700101T000000
156 0x54, 0x30, 0x30, 0x30, 0x30, 0x30, 0x30,
157 0xfd, 0x00, 0xfe, 0x0f, // NotAfter (error)
158 0x31, 0x39, 0x37, 0x30, 0x30, 0x31, 0x30, 0x32, // 19700102T000000
159 0x54, 0x30, 0x30, 0x30, 0x30, 0x30, 0x30
160};
161
162const uint8_t VP_E4[] = {
163 0xfd, 0x00, 0xfd, 0x39, // ValidityPeriod
164 0xfd, 0x00, 0xfe, 0x0f, // NotBefore
165 0x31, 0x39, 0x37, 0x30, 0x30, 0x31, 0x30, 0x31, // 19700101T000000
166 0x54, 0x30, 0x30, 0x30, 0x30, 0x30, 0x30,
167 0xfd, 0x00, 0xff, 0x0f, // NotAfter
168 0x31, 0x39, 0x37, 0x30, 0x30, 0x31, 0x30, 0x32, // 19700102T000000
169 0x54, 0x30, 0x30, 0x30, 0x30, 0x30, 0x30,
170 0xfd, 0x00, 0xff, 0x0f, // NotAfter (error)
171 0x31, 0x39, 0x37, 0x30, 0x30, 0x31, 0x30, 0x32, // 19700102T000000
172 0x54, 0x30, 0x30, 0x30, 0x30, 0x30, 0x30
173};
174
175const uint8_t VP_E5[] = {
176 0xfd, 0x00, 0xfd, 0x13, // ValidityPeriod
177 0xfd, 0x00, 0xfe, 0x0f, // NotBefore
178 0x31, 0x39, 0x37, 0x30, 0x30, 0x31, 0x30, 0x31, // 19700101T000000
179 0x54, 0x30, 0x30, 0x30, 0x30, 0x30, 0x30
180};
181
182const uint8_t VP_E6[] = {
183 0xfd, 0x00, 0xfd, 0x26, // ValidityPeriod
184 0xfd, 0x00, 0xfe, 0x0f, // NotBefore
185 0x31, 0x39, 0x37, 0x30, 0x30, 0x31, 0x30, 0x31, // 19700101T00000\xFF
186 0x54, 0x30, 0x30, 0x30, 0x30, 0x30, 0xFF,
187 0xfd, 0x00, 0xff, 0x0f, // NotAfter
188 0x31, 0x39, 0x37, 0x30, 0x30, 0x31, 0x30, 0x32, // 19700102T000000
189 0x54, 0x30, 0x30, 0x30, 0x30, 0x30, 0x30
190};
191
Yingdi Yu7a813892015-06-09 14:19:54 -0700192BOOST_AUTO_TEST_CASE(DecodingError)
193{
Davide Pesaventofbea4fc2022-02-08 07:26:04 -0500194 BOOST_CHECK_THROW(ValidityPeriod(Block{VP_E1}), ValidityPeriod::Error);
195 BOOST_CHECK_THROW(ValidityPeriod(Block{VP_E2}), ValidityPeriod::Error);
196 BOOST_CHECK_THROW(ValidityPeriod(Block{VP_E3}), ValidityPeriod::Error);
197 BOOST_CHECK_THROW(ValidityPeriod(Block{VP_E4}), ValidityPeriod::Error);
198 BOOST_CHECK_THROW(ValidityPeriod(Block{VP_E5}), ValidityPeriod::Error);
199 BOOST_CHECK_THROW(ValidityPeriod(Block{VP_E6}), ValidityPeriod::Error);
Yingdi Yu7a813892015-06-09 14:19:54 -0700200
201 Block emptyBlock;
Davide Pesaventofbea4fc2022-02-08 07:26:04 -0500202 BOOST_CHECK_THROW(ValidityPeriod{emptyBlock}, ValidityPeriod::Error);
Yingdi Yu7a813892015-06-09 14:19:54 -0700203}
204
205BOOST_AUTO_TEST_CASE(Comparison)
206{
Davide Pesavento47ce2ee2023-05-09 01:33:33 -0400207 auto notBefore = time::getUnixEpoch();
208 auto notAfter = notBefore + 1_day;
209 auto notAfter2 = notBefore + 2_days;
Yingdi Yu7a813892015-06-09 14:19:54 -0700210
211 ValidityPeriod validity1(notBefore, notAfter);
212 ValidityPeriod validity2(notBefore, notAfter);
213 BOOST_CHECK(validity1 == validity2);
214
215 ValidityPeriod validity3(notBefore, notAfter2);
216 BOOST_CHECK(validity1 != validity3);
217}
218
Davide Pesaventoeee3e822016-11-26 19:19:34 +0100219BOOST_AUTO_TEST_SUITE_END() // TestValidityPeriod
220BOOST_AUTO_TEST_SUITE_END() // Security
Yingdi Yu7a813892015-06-09 14:19:54 -0700221
Davide Pesavento47ce2ee2023-05-09 01:33:33 -0400222} // namespace ndn::tests