Matches in SemOpenAlex for { <https://semopenalex.org/work/W2120313969> ?p ?o ?g. }
- W2120313969 abstract "This dissertation introduces a methodology for formal specification and verification of user interfaces under security aspects. The methodology allows to use formal methods pervasively in the specification and verification of human-computer interaction. This work consists of three parts. In the first part, a formal methodology for the description of human-computer interaction is developed. In the second part, existing definitions of computer security are adapted for human-computer interaction and formalized. A generic formal model of human-computer interaction is developed. In the third part, the methodology is applied to the specification and verification of a secure email client." @default.
- W2120313969 created "2016-06-24" @default.
- W2120313969 creator A5032894958 @default.
- W2120313969 date "2008-05-15" @default.
- W2120313969 modified "2023-09-27" @default.
- W2120313969 title "A methodology for secure interactive systems" @default.
- W2120313969 cites W1487912927 @default.
- W2120313969 cites W1494768888 @default.
- W2120313969 cites W1501131646 @default.
- W2120313969 cites W1516111989 @default.
- W2120313969 cites W1518695183 @default.
- W2120313969 cites W1520563452 @default.
- W2120313969 cites W1556316449 @default.
- W2120313969 cites W1566095982 @default.
- W2120313969 cites W1571196178 @default.
- W2120313969 cites W1579404903 @default.
- W2120313969 cites W1585256313 @default.
- W2120313969 cites W1593905218 @default.
- W2120313969 cites W1607827729 @default.
- W2120313969 cites W162901183 @default.
- W2120313969 cites W175604643 @default.
- W2120313969 cites W1852308160 @default.
- W2120313969 cites W1958367842 @default.
- W2120313969 cites W196542328 @default.
- W2120313969 cites W1968898611 @default.
- W2120313969 cites W1972106757 @default.
- W2120313969 cites W1976664362 @default.
- W2120313969 cites W1978429277 @default.
- W2120313969 cites W1996974848 @default.
- W2120313969 cites W2036582184 @default.
- W2120313969 cites W2039811450 @default.
- W2120313969 cites W2039875296 @default.
- W2120313969 cites W2069224897 @default.
- W2120313969 cites W2088563966 @default.
- W2120313969 cites W2089139117 @default.
- W2120313969 cites W2097634551 @default.
- W2120313969 cites W2102630435 @default.
- W2120313969 cites W2112494651 @default.
- W2120313969 cites W2118974992 @default.
- W2120313969 cites W2120600989 @default.
- W2120313969 cites W2121195169 @default.
- W2120313969 cites W2123591057 @default.
- W2120313969 cites W2125894704 @default.
- W2120313969 cites W2128849486 @default.
- W2120313969 cites W2130303378 @default.
- W2120313969 cites W2131370126 @default.
- W2120313969 cites W2133596506 @default.
- W2120313969 cites W2148334620 @default.
- W2120313969 cites W2149590446 @default.
- W2120313969 cites W2152505375 @default.
- W2120313969 cites W2155032609 @default.
- W2120313969 cites W2155757092 @default.
- W2120313969 cites W2171990260 @default.
- W2120313969 cites W2336123333 @default.
- W2120313969 cites W3146075203 @default.
- W2120313969 cites W56323471 @default.
- W2120313969 cites W2531266037 @default.
- W2120313969 cites W749729 @default.
- W2120313969 hasPublicationYear "2008" @default.
- W2120313969 type Work @default.
- W2120313969 sameAs 2120313969 @default.
- W2120313969 citedByCount "0" @default.
- W2120313969 crossrefType "dissertation" @default.
- W2120313969 hasAuthorship W2120313969A5032894958 @default.
- W2120313969 hasConcept C107457646 @default.
- W2120313969 hasConcept C111498074 @default.
- W2120313969 hasConcept C115903868 @default.
- W2120313969 hasConcept C116253237 @default.
- W2120313969 hasConcept C199360897 @default.
- W2120313969 hasConcept C41008148 @default.
- W2120313969 hasConcept C75606506 @default.
- W2120313969 hasConceptScore W2120313969C107457646 @default.
- W2120313969 hasConceptScore W2120313969C111498074 @default.
- W2120313969 hasConceptScore W2120313969C115903868 @default.
- W2120313969 hasConceptScore W2120313969C116253237 @default.
- W2120313969 hasConceptScore W2120313969C199360897 @default.
- W2120313969 hasConceptScore W2120313969C41008148 @default.
- W2120313969 hasConceptScore W2120313969C75606506 @default.
- W2120313969 hasLocation W21203139691 @default.
- W2120313969 hasOpenAccess W2120313969 @default.
- W2120313969 hasPrimaryLocation W21203139691 @default.
- W2120313969 hasRelatedWork W1500394786 @default.
- W2120313969 hasRelatedWork W1502073773 @default.
- W2120313969 hasRelatedWork W1515803040 @default.
- W2120313969 hasRelatedWork W1537154714 @default.
- W2120313969 hasRelatedWork W1560121789 @default.
- W2120313969 hasRelatedWork W1566925011 @default.
- W2120313969 hasRelatedWork W1586621202 @default.
- W2120313969 hasRelatedWork W1599908518 @default.
- W2120313969 hasRelatedWork W1605343538 @default.
- W2120313969 hasRelatedWork W1870189519 @default.
- W2120313969 hasRelatedWork W2003404398 @default.
- W2120313969 hasRelatedWork W2086142629 @default.
- W2120313969 hasRelatedWork W2098132724 @default.
- W2120313969 hasRelatedWork W2243535476 @default.
- W2120313969 hasRelatedWork W2331396051 @default.
- W2120313969 hasRelatedWork W2349269724 @default.
- W2120313969 hasRelatedWork W244616674 @default.
- W2120313969 hasRelatedWork W2768282859 @default.
- W2120313969 hasRelatedWork W625412624 @default.