AI helps you reading Science

AI generates interpretation videos

AI extracts and analyses the key points of the paper to generate videos automatically


pub
Go Generating

AI Traceability

AI parses the academic lineage of this thesis


Master Reading Tree
Generate MRT

Modeling and Verification of IPSec and VPN Security Policies

ICNP, pp.259-278, (2005)

Cited by: 94|Views9
EI WOS

Abstract

IPSec has become the defacto standard protocol for secure Internet communications, providing traffic integrity, confidentiality and authentication. Although IPSec supports a rich set of protection modes and operations, its policy configuration remains a complex and error-prone task. The complex semantics of IPSec policies that allow for t...More

Code:

Data:

Your rating :
0

 

Tags
Comments
小科