Matches in SemOpenAlex for { <https://semopenalex.org/work/W42122073> ?p ?o ?g. }
- W42122073 endingPage "29" @default.
- W42122073 startingPage "3" @default.
- W42122073 abstract "Security protocol verification has been a very active research area since the 1990s. This paper surveys various approaches in this area, considering the verification in the symbolic model, as well as the more recent approaches that rely on the computational model or that verify protocol implementations rather than specifications. Additionally, we briefly describe our symbolic security protocol verifier ProVerif and situate it among these approaches." @default.
- W42122073 created "2016-06-24" @default.
- W42122073 creator A5004976322 @default.
- W42122073 date "2012-01-01" @default.
- W42122073 modified "2023-09-25" @default.
- W42122073 title "Security Protocol Verification: Symbolic and Computational Models" @default.
- W42122073 cites W1480122568 @default.
- W42122073 cites W1492390108 @default.
- W42122073 cites W1495951310 @default.
- W42122073 cites W1501813649 @default.
- W42122073 cites W1505659502 @default.
- W42122073 cites W1508967933 @default.
- W42122073 cites W1513576223 @default.
- W42122073 cites W1514739653 @default.
- W42122073 cites W1515715680 @default.
- W42122073 cites W1526393806 @default.
- W42122073 cites W1527737101 @default.
- W42122073 cites W1535988411 @default.
- W42122073 cites W1538878344 @default.
- W42122073 cites W1539009458 @default.
- W42122073 cites W1539904031 @default.
- W42122073 cites W1542059364 @default.
- W42122073 cites W1543072317 @default.
- W42122073 cites W1551753488 @default.
- W42122073 cites W1552360561 @default.
- W42122073 cites W1561082169 @default.
- W42122073 cites W1562901937 @default.
- W42122073 cites W1569250084 @default.
- W42122073 cites W1569881051 @default.
- W42122073 cites W1571378841 @default.
- W42122073 cites W1579090196 @default.
- W42122073 cites W1586583492 @default.
- W42122073 cites W1589756554 @default.
- W42122073 cites W1597908183 @default.
- W42122073 cites W1599897657 @default.
- W42122073 cites W1608435723 @default.
- W42122073 cites W170425430 @default.
- W42122073 cites W1760594424 @default.
- W42122073 cites W1836114257 @default.
- W42122073 cites W1841687327 @default.
- W42122073 cites W1841879996 @default.
- W42122073 cites W1897221193 @default.
- W42122073 cites W1913041503 @default.
- W42122073 cites W1944323241 @default.
- W42122073 cites W1967744155 @default.
- W42122073 cites W1969938710 @default.
- W42122073 cites W1974416171 @default.
- W42122073 cites W1982746231 @default.
- W42122073 cites W1987581799 @default.
- W42122073 cites W1991234099 @default.
- W42122073 cites W1991354622 @default.
- W42122073 cites W1996144424 @default.
- W42122073 cites W2001788001 @default.
- W42122073 cites W2002770083 @default.
- W42122073 cites W2003915781 @default.
- W42122073 cites W2006805613 @default.
- W42122073 cites W2009426964 @default.
- W42122073 cites W2013689938 @default.
- W42122073 cites W2016142193 @default.
- W42122073 cites W2029693536 @default.
- W42122073 cites W2036961426 @default.
- W42122073 cites W2055259417 @default.
- W42122073 cites W2058459987 @default.
- W42122073 cites W2073385346 @default.
- W42122073 cites W2076864770 @default.
- W42122073 cites W2079705087 @default.
- W42122073 cites W2091877728 @default.
- W42122073 cites W2097134979 @default.
- W42122073 cites W2099537756 @default.
- W42122073 cites W2104655005 @default.
- W42122073 cites W2106150202 @default.
- W42122073 cites W2110172854 @default.
- W42122073 cites W2114497629 @default.
- W42122073 cites W2115674733 @default.
- W42122073 cites W2117064875 @default.
- W42122073 cites W2118040949 @default.
- W42122073 cites W2121262961 @default.
- W42122073 cites W2123991163 @default.
- W42122073 cites W2124926080 @default.
- W42122073 cites W2126267504 @default.
- W42122073 cites W2141624400 @default.
- W42122073 cites W2146973388 @default.
- W42122073 cites W2150299122 @default.
- W42122073 cites W2151413173 @default.
- W42122073 cites W2155032609 @default.
- W42122073 cites W2156773905 @default.
- W42122073 cites W2159435827 @default.
- W42122073 cites W2161544156 @default.
- W42122073 cites W2161706819 @default.
- W42122073 cites W2167606175 @default.
- W42122073 cites W2170630946 @default.
- W42122073 cites W2174624365 @default.
- W42122073 cites W2175661655 @default.
- W42122073 cites W2176316790 @default.
- W42122073 cites W2176696677 @default.
- W42122073 cites W2274099342 @default.
- W42122073 cites W3031048092 @default.
- W42122073 cites W3101926357 @default.