rec_anti_replay.h

/*
 * This file is part of the openHiTLS project.
 *
 * openHiTLS is licensed under the Mulan PSL v2.
 * You can use this software according to the terms and conditions of the Mulan PSL v2.
 * You may obtain a copy of Mulan PSL v2 at:
 *
 *     http://license.coscl.org.cn/MulanPSL2
 *
 * THIS SOFTWARE IS PROVIDED ON AN "AS IS" BASIS, WITHOUT WARRANTIES OF ANY KIND,
 * EITHER EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO NON-INFRINGEMENT,
 * MERCHANTABILITY OR FIT FOR A PARTICULAR PURPOSE.
 * See the Mulan PSL v2 for more details.
 */
 
#ifndef REC_ANTI_REPLAY_H
#define REC_ANTI_REPLAY_H
 
#include <stdint.h>
#include <stdbool.h>
 
#ifdef __cplusplus
extern "C" {
#endif

typedef struct {
    uint64_t top;       /* Stores the current maximum sequence number */
    uint64_t window;    /* Sliding window for storing flag bits */
} RecSlidWindow;

void RecAntiReplayReset(RecSlidWindow *w);

bool RecAntiReplayCheck(const RecSlidWindow *w, uint64_t seq);

void RecAntiReplayUpdate(RecSlidWindow *w, uint64_t seq);
 
#ifdef __cplusplus
}
#endif
 
#endif /* REC_ANTI_REPLAY_H */