Matches in SemOpenAlex for { <https://semopenalex.org/work/W1185924979> ?p ?o ?g. }
- W1185924979 abstract "This dissertation tackles crucial issues of web browser security. Web browsers are now a central part of the trusted code base of any end-user computer system, as more and more usage shifts to services provided by web sites that are accessed through those browsers. Towards this goal we identify three key aspects of web browser security: (i) the machine-to-user communication, (ii) internal browser security concerns and (iii) machine-to-machine communication.We address aspects (i) and (ii) by developing a methodology that creates a formal model of a web browser and analyzes that model. We showcase this on the graphical user interface of both Internet Explorer and the Illinois Browser Operating System (IBOS) web browsers. Internal security aspects are addressed in the IBOS browser for the same origin policy. For aspect (iii) we look at the formal analysis of cryptographic protocols, independent of any particular browser. We focus on the formal analysis of protocols modulo algebraic properties of their cryptographic functions, since it is well-known the protocol verification methods that ignore such algebraic properties using a standard Dolev-Yao model can verify as correct protocols that can be in fact broken using the algebraic properties. We adopt a symbolic approach and use the Maude-NPA cryptographic protocol analysis tool, which has extended unification capabilities modulo theories based on the new narrowing strategy we developed. We present case studies showing that appropriate protocols can be analyzed so that either attacks are found, or the absence of attacks can be proven." @default.
- W1185924979 created "2016-06-24" @default.
- W1185924979 creator A5007839082 @default.
- W1185924979 creator A5089250692 @default.
- W1185924979 date "2012-01-01" @default.
- W1185924979 modified "2023-09-27" @default.
- W1185924979 title "Security models in rewriting logic for cryptographic protocols and browsers" @default.
- W1185924979 cites W146360823 @default.
- W1185924979 cites W1488313539 @default.
- W1185924979 cites W1493847381 @default.
- W1185924979 cites W1505465226 @default.
- W1185924979 cites W1508237628 @default.
- W1185924979 cites W1512480360 @default.
- W1185924979 cites W1529311848 @default.
- W1185924979 cites W1531461242 @default.
- W1185924979 cites W1536580911 @default.
- W1185924979 cites W1552961498 @default.
- W1185924979 cites W1553416476 @default.
- W1185924979 cites W1555815308 @default.
- W1185924979 cites W1562259153 @default.
- W1185924979 cites W1568223756 @default.
- W1185924979 cites W1590286017 @default.
- W1185924979 cites W1602675124 @default.
- W1185924979 cites W1607069900 @default.
- W1185924979 cites W1607915502 @default.
- W1185924979 cites W1619779852 @default.
- W1185924979 cites W1678943029 @default.
- W1185924979 cites W1736709206 @default.
- W1185924979 cites W180134343 @default.
- W1185924979 cites W1872155400 @default.
- W1185924979 cites W1907897959 @default.
- W1185924979 cites W1975341792 @default.
- W1185924979 cites W1976195354 @default.
- W1185924979 cites W1992085465 @default.
- W1185924979 cites W1995346861 @default.
- W1185924979 cites W2000232009 @default.
- W1185924979 cites W2001932052 @default.
- W1185924979 cites W2003189607 @default.
- W1185924979 cites W2003915781 @default.
- W1185924979 cites W2010608681 @default.
- W1185924979 cites W2025874281 @default.
- W1185924979 cites W2026843999 @default.
- W1185924979 cites W2029693536 @default.
- W1185924979 cites W2031825596 @default.
- W1185924979 cites W2034034435 @default.
- W1185924979 cites W2042924775 @default.
- W1185924979 cites W2042987983 @default.
- W1185924979 cites W2047406870 @default.
- W1185924979 cites W2051564255 @default.
- W1185924979 cites W2056016391 @default.
- W1185924979 cites W2058459987 @default.
- W1185924979 cites W2059799630 @default.
- W1185924979 cites W2060349224 @default.
- W1185924979 cites W2066904164 @default.
- W1185924979 cites W2070953905 @default.
- W1185924979 cites W2071174211 @default.
- W1185924979 cites W2076409494 @default.
- W1185924979 cites W2078671172 @default.
- W1185924979 cites W2082000355 @default.
- W1185924979 cites W2086814760 @default.
- W1185924979 cites W2088523722 @default.
- W1185924979 cites W2089180764 @default.
- W1185924979 cites W2090855107 @default.
- W1185924979 cites W2095610745 @default.
- W1185924979 cites W2096506501 @default.
- W1185924979 cites W2106105719 @default.
- W1185924979 cites W2108533001 @default.
- W1185924979 cites W2111165162 @default.
- W1185924979 cites W2113167642 @default.
- W1185924979 cites W2114620376 @default.
- W1185924979 cites W2116776985 @default.
- W1185924979 cites W2117064875 @default.
- W1185924979 cites W2118778876 @default.
- W1185924979 cites W2122997043 @default.
- W1185924979 cites W2124513279 @default.
- W1185924979 cites W2131906261 @default.
- W1185924979 cites W2138628156 @default.
- W1185924979 cites W2149684006 @default.
- W1185924979 cites W2155032609 @default.
- W1185924979 cites W2155230502 @default.
- W1185924979 cites W2158673451 @default.
- W1185924979 cites W2162325770 @default.
- W1185924979 cites W2170798886 @default.
- W1185924979 cites W2175429362 @default.
- W1185924979 cites W2188934665 @default.
- W1185924979 cites W2203051631 @default.
- W1185924979 cites W2267962597 @default.
- W1185924979 cites W2288257457 @default.
- W1185924979 cites W2316113835 @default.
- W1185924979 cites W2406142175 @default.
- W1185924979 cites W2504734884 @default.
- W1185924979 cites W47107096 @default.
- W1185924979 cites W590274811 @default.
- W1185924979 cites W598205067 @default.
- W1185924979 cites W73531603 @default.
- W1185924979 hasPublicationYear "2012" @default.
- W1185924979 type Work @default.
- W1185924979 sameAs 1185924979 @default.
- W1185924979 citedByCount "1" @default.
- W1185924979 countsByYear W11859249792020 @default.