Matches in SemOpenAlex for { <https://semopenalex.org/work/W168668849> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W168668849 endingPage "412" @default.
- W168668849 startingPage "398" @default.
- W168668849 abstract "As the hardware root-of-trust in a trusted computing environment, the Trusted Platform Module (TPM) warrants formal specification and verification. This work presents results of an effort to specify and verify an abstract TPM 1.2 model using PVS that is useful for understanding the TPM and verifying protocols that utilize it. TPM commands are specified as state transformations and sequenced to represent protocols using a state monad. Postconditions and invariants are specified for individual commands and validated by verifying a Privacy CA attestation protocol. All specifications are written and verified automatically using the PVS decision procedures and rewriting system." @default.
- W168668849 created "2016-06-24" @default.
- W168668849 creator A5042452819 @default.
- W168668849 creator A5049522076 @default.
- W168668849 date "2013-01-01" @default.
- W168668849 modified "2023-10-18" @default.
- W168668849 title "Verifying a Privacy CA Remote Attestation Protocol" @default.
- W168668849 cites W1534850143 @default.
- W168668849 cites W1583282080 @default.
- W168668849 cites W1595155556 @default.
- W168668849 cites W1966709388 @default.
- W168668849 cites W1978183200 @default.
- W168668849 cites W1997143185 @default.
- W168668849 cites W2037984920 @default.
- W168668849 cites W2038517014 @default.
- W168668849 cites W2100683351 @default.
- W168668849 cites W2147669587 @default.
- W168668849 cites W2151491842 @default.
- W168668849 cites W369805404 @default.
- W168668849 doi "https://doi.org/10.1007/978-3-642-38088-4_27" @default.
- W168668849 hasPublicationYear "2013" @default.
- W168668849 type Work @default.
- W168668849 sameAs 168668849 @default.
- W168668849 citedByCount "4" @default.
- W168668849 countsByYear W1686688492013 @default.
- W168668849 countsByYear W1686688492020 @default.
- W168668849 countsByYear W1686688492021 @default.
- W168668849 countsByYear W1686688492022 @default.
- W168668849 crossrefType "book-chapter" @default.
- W168668849 hasAuthorship W168668849A5042452819 @default.
- W168668849 hasAuthorship W168668849A5049522076 @default.
- W168668849 hasConcept C111498074 @default.
- W168668849 hasConcept C111919701 @default.
- W168668849 hasConcept C142724271 @default.
- W168668849 hasConcept C149635348 @default.
- W168668849 hasConcept C154690210 @default.
- W168668849 hasConcept C169796023 @default.
- W168668849 hasConcept C199360897 @default.
- W168668849 hasConcept C202775310 @default.
- W168668849 hasConcept C204787440 @default.
- W168668849 hasConcept C2776831232 @default.
- W168668849 hasConcept C2780385302 @default.
- W168668849 hasConcept C41008148 @default.
- W168668849 hasConcept C48103436 @default.
- W168668849 hasConcept C71924100 @default.
- W168668849 hasConcept C75606506 @default.
- W168668849 hasConceptScore W168668849C111498074 @default.
- W168668849 hasConceptScore W168668849C111919701 @default.
- W168668849 hasConceptScore W168668849C142724271 @default.
- W168668849 hasConceptScore W168668849C149635348 @default.
- W168668849 hasConceptScore W168668849C154690210 @default.
- W168668849 hasConceptScore W168668849C169796023 @default.
- W168668849 hasConceptScore W168668849C199360897 @default.
- W168668849 hasConceptScore W168668849C202775310 @default.
- W168668849 hasConceptScore W168668849C204787440 @default.
- W168668849 hasConceptScore W168668849C2776831232 @default.
- W168668849 hasConceptScore W168668849C2780385302 @default.
- W168668849 hasConceptScore W168668849C41008148 @default.
- W168668849 hasConceptScore W168668849C48103436 @default.
- W168668849 hasConceptScore W168668849C71924100 @default.
- W168668849 hasConceptScore W168668849C75606506 @default.
- W168668849 hasLocation W1686688491 @default.
- W168668849 hasOpenAccess W168668849 @default.
- W168668849 hasPrimaryLocation W1686688491 @default.
- W168668849 hasRelatedWork W165420698 @default.
- W168668849 hasRelatedWork W168668849 @default.
- W168668849 hasRelatedWork W2097016043 @default.
- W168668849 hasRelatedWork W2364215762 @default.
- W168668849 hasRelatedWork W2380718173 @default.
- W168668849 hasRelatedWork W2387334916 @default.
- W168668849 hasRelatedWork W2499097732 @default.
- W168668849 hasRelatedWork W2771025373 @default.
- W168668849 hasRelatedWork W4233593324 @default.
- W168668849 hasRelatedWork W826781040 @default.
- W168668849 isParatext "false" @default.
- W168668849 isRetracted "false" @default.
- W168668849 magId "168668849" @default.
- W168668849 workType "book-chapter" @default.