Matches in SemOpenAlex for { <https://semopenalex.org/work/W2628854485> ?p ?o ?g. }
- W2628854485 abstract "We present the design, implementation and information flow verification of CoSMeDis, a distributed social media platform. The system consists of an arbitrary number of communicating nodes, deployable at different locations over the Internet. Its registered users can post content and establish intra-node and inter-node friendships, used to regulate access control over the posts. The system's kernel has been verified in the proof assistant Isabelle/HOL and automatically extracted as Scala code. We formalized a framework for composing a class of information flow security guarantees in a distributed system, applicable to input/output automata. We instantiated this framework to confidentiality properties for CoSMeDis's sources of information: posts, friendship requests, and friendship status." @default.
- W2628854485 created "2017-06-30" @default.
- W2628854485 creator A5006870756 @default.
- W2628854485 creator A5009460574 @default.
- W2628854485 creator A5064907118 @default.
- W2628854485 creator A5078332678 @default.
- W2628854485 date "2017-05-01" @default.
- W2628854485 modified "2023-09-27" @default.
- W2628854485 title "CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees" @default.
- W2628854485 cites W140202552 @default.
- W2628854485 cites W1482412090 @default.
- W2628854485 cites W1502268999 @default.
- W2628854485 cites W1523874359 @default.
- W2628854485 cites W1555093693 @default.
- W2628854485 cites W1579218062 @default.
- W2628854485 cites W1699577049 @default.
- W2628854485 cites W1766647772 @default.
- W2628854485 cites W1890046864 @default.
- W2628854485 cites W1970703176 @default.
- W2628854485 cites W1975091280 @default.
- W2628854485 cites W1976080494 @default.
- W2628854485 cites W1984599464 @default.
- W2628854485 cites W1988079752 @default.
- W2628854485 cites W1999602293 @default.
- W2628854485 cites W2008332764 @default.
- W2628854485 cites W2019193016 @default.
- W2628854485 cites W2029693536 @default.
- W2628854485 cites W2034527657 @default.
- W2628854485 cites W2036532668 @default.
- W2628854485 cites W2054633150 @default.
- W2628854485 cites W2069858199 @default.
- W2628854485 cites W2080914957 @default.
- W2628854485 cites W2097744609 @default.
- W2628854485 cites W2098820900 @default.
- W2628854485 cites W2109332509 @default.
- W2628854485 cites W2117320004 @default.
- W2628854485 cites W2122049982 @default.
- W2628854485 cites W2127437778 @default.
- W2628854485 cites W2146097977 @default.
- W2628854485 cites W2148144728 @default.
- W2628854485 cites W2155429317 @default.
- W2628854485 cites W2158126684 @default.
- W2628854485 cites W2158763360 @default.
- W2628854485 cites W2162553649 @default.
- W2628854485 cites W2170018380 @default.
- W2628854485 cites W2170528665 @default.
- W2628854485 cites W2186572398 @default.
- W2628854485 cites W2218405197 @default.
- W2628854485 cites W2295541535 @default.
- W2628854485 cites W2508816844 @default.
- W2628854485 cites W2964335063 @default.
- W2628854485 cites W3125758765 @default.
- W2628854485 cites W4232632783 @default.
- W2628854485 cites W4243963980 @default.
- W2628854485 cites W1890484424 @default.
- W2628854485 doi "https://doi.org/10.1109/sp.2017.24" @default.
- W2628854485 hasPublicationYear "2017" @default.
- W2628854485 type Work @default.
- W2628854485 sameAs 2628854485 @default.
- W2628854485 citedByCount "11" @default.
- W2628854485 countsByYear W26288544852017 @default.
- W2628854485 countsByYear W26288544852018 @default.
- W2628854485 countsByYear W26288544852019 @default.
- W2628854485 countsByYear W26288544852020 @default.
- W2628854485 countsByYear W26288544852021 @default.
- W2628854485 countsByYear W26288544852022 @default.
- W2628854485 countsByYear W26288544852023 @default.
- W2628854485 crossrefType "proceedings-article" @default.
- W2628854485 hasAuthorship W2628854485A5006870756 @default.
- W2628854485 hasAuthorship W2628854485A5009460574 @default.
- W2628854485 hasAuthorship W2628854485A5064907118 @default.
- W2628854485 hasAuthorship W2628854485A5078332678 @default.
- W2628854485 hasBestOaLocation W26288544852 @default.
- W2628854485 hasConcept C110875604 @default.
- W2628854485 hasConcept C114614502 @default.
- W2628854485 hasConcept C120314980 @default.
- W2628854485 hasConcept C127413603 @default.
- W2628854485 hasConcept C136764020 @default.
- W2628854485 hasConcept C138885662 @default.
- W2628854485 hasConcept C154945302 @default.
- W2628854485 hasConcept C15744967 @default.
- W2628854485 hasConcept C160191386 @default.
- W2628854485 hasConcept C17435882 @default.
- W2628854485 hasConcept C177264268 @default.
- W2628854485 hasConcept C17744445 @default.
- W2628854485 hasConcept C199360897 @default.
- W2628854485 hasConcept C199539241 @default.
- W2628854485 hasConcept C2776760102 @default.
- W2628854485 hasConcept C2777212361 @default.
- W2628854485 hasConcept C2778736484 @default.
- W2628854485 hasConcept C2779089604 @default.
- W2628854485 hasConcept C2779136372 @default.
- W2628854485 hasConcept C31258907 @default.
- W2628854485 hasConcept C33923547 @default.
- W2628854485 hasConcept C38652104 @default.
- W2628854485 hasConcept C41008148 @default.
- W2628854485 hasConcept C41895202 @default.
- W2628854485 hasConcept C62611344 @default.
- W2628854485 hasConcept C66938386 @default.
- W2628854485 hasConcept C71745522 @default.