Matches in SemOpenAlex for { <https://semopenalex.org/work/W1573295900> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W1573295900 endingPage "733" @default.
- W1573295900 startingPage "730" @default.
- W1573295900 abstract "We present SATMC (SAT-based Model Checker), an open and flexible platform for SAT-based bounded model checking [8] of security protocols. Under the standard assumptions of perfect cryptography and of strong typing, SATMC performs a bounded analysis of the problem by considering scenarios with a finite number of sessions whereby messages are exchanged on a channel controlled by the most general intruder based on the Dolev-Yao model [12]." @default.
- W1573295900 created "2016-06-24" @default.
- W1573295900 creator A5039827178 @default.
- W1573295900 creator A5071893704 @default.
- W1573295900 date "2004-01-01" @default.
- W1573295900 modified "2023-09-27" @default.
- W1573295900 title "SATMC: A SAT-Based Model Checker for Security Protocols" @default.
- W1573295900 cites W1573295900 @default.
- W1573295900 cites W1574030932 @default.
- W1573295900 cites W1633572391 @default.
- W1573295900 cites W1779054477 @default.
- W1573295900 cites W1787074469 @default.
- W1573295900 cites W1841879996 @default.
- W1573295900 cites W1858410342 @default.
- W1573295900 cites W1922967198 @default.
- W1573295900 cites W2029693536 @default.
- W1573295900 cites W2049129243 @default.
- W1573295900 cites W2126338744 @default.
- W1573295900 cites W2175137100 @default.
- W1573295900 cites W2177212599 @default.
- W1573295900 doi "https://doi.org/10.1007/978-3-540-30227-8_68" @default.
- W1573295900 hasPublicationYear "2004" @default.
- W1573295900 type Work @default.
- W1573295900 sameAs 1573295900 @default.
- W1573295900 citedByCount "77" @default.
- W1573295900 countsByYear W15732959002012 @default.
- W1573295900 countsByYear W15732959002013 @default.
- W1573295900 countsByYear W15732959002014 @default.
- W1573295900 countsByYear W15732959002015 @default.
- W1573295900 countsByYear W15732959002016 @default.
- W1573295900 countsByYear W15732959002017 @default.
- W1573295900 countsByYear W15732959002018 @default.
- W1573295900 countsByYear W15732959002019 @default.
- W1573295900 countsByYear W15732959002020 @default.
- W1573295900 countsByYear W15732959002021 @default.
- W1573295900 countsByYear W15732959002022 @default.
- W1573295900 countsByYear W15732959002023 @default.
- W1573295900 crossrefType "book-chapter" @default.
- W1573295900 hasAuthorship W1573295900A5039827178 @default.
- W1573295900 hasAuthorship W1573295900A5071893704 @default.
- W1573295900 hasConcept C110251889 @default.
- W1573295900 hasConcept C11413529 @default.
- W1573295900 hasConcept C134306372 @default.
- W1573295900 hasConcept C178489894 @default.
- W1573295900 hasConcept C199360897 @default.
- W1573295900 hasConcept C33884865 @default.
- W1573295900 hasConcept C33923547 @default.
- W1573295900 hasConcept C34388435 @default.
- W1573295900 hasConcept C41008148 @default.
- W1573295900 hasConcept C80444323 @default.
- W1573295900 hasConceptScore W1573295900C110251889 @default.
- W1573295900 hasConceptScore W1573295900C11413529 @default.
- W1573295900 hasConceptScore W1573295900C134306372 @default.
- W1573295900 hasConceptScore W1573295900C178489894 @default.
- W1573295900 hasConceptScore W1573295900C199360897 @default.
- W1573295900 hasConceptScore W1573295900C33884865 @default.
- W1573295900 hasConceptScore W1573295900C33923547 @default.
- W1573295900 hasConceptScore W1573295900C34388435 @default.
- W1573295900 hasConceptScore W1573295900C41008148 @default.
- W1573295900 hasConceptScore W1573295900C80444323 @default.
- W1573295900 hasLocation W15732959001 @default.
- W1573295900 hasOpenAccess W1573295900 @default.
- W1573295900 hasPrimaryLocation W15732959001 @default.
- W1573295900 hasRelatedWork W1575556365 @default.
- W1573295900 hasRelatedWork W1579190584 @default.
- W1573295900 hasRelatedWork W1748450182 @default.
- W1573295900 hasRelatedWork W1882581446 @default.
- W1573295900 hasRelatedWork W2102905434 @default.
- W1573295900 hasRelatedWork W2134477803 @default.
- W1573295900 hasRelatedWork W2397688157 @default.
- W1573295900 hasRelatedWork W2613405521 @default.
- W1573295900 hasRelatedWork W4295885746 @default.
- W1573295900 hasRelatedWork W1585142320 @default.
- W1573295900 isParatext "false" @default.
- W1573295900 isRetracted "false" @default.
- W1573295900 magId "1573295900" @default.
- W1573295900 workType "book-chapter" @default.