Matches in SemOpenAlex for { <https://semopenalex.org/work/W124400099> ?p ?o ?g. }
- W124400099 abstract "Web services are distributed software components, that are decoupled from each other using interfaces with specified functional behaviors. However, such behavioral specifications are insufficient to demonstrate compliance with certain temporal non-functional policies. We show an example demonstrating that a patient’s health-related query sent to a health care service is answered only by a doctor (and not by a secretary). Demonstrating compliance with such policies is important for satisfying governmental privacy regulations. It is often necessary to expose the internals of the web service implementation for demonstrating such compliance, which may compromise modularity. In this work, we provide a language design that enables such demonstrations, while hiding majority of the service’s source code. The key idea is to use greybox specifications to allow service providers to selectively hide and expose parts of their implementation. The overall problem of showing compliance is then reduced to two subproblems: whether the desired properties are satisfied by the service’s greybox specification, and whether this greybox specification is satisfied by the service’s implementation. We specify policies using LTL and solve the first problem by model checking. We solve the second problem by refinement techniques." @default.
- W124400099 created "2016-06-24" @default.
- W124400099 creator A5014066009 @default.
- W124400099 creator A5025486613 @default.
- W124400099 creator A5059626072 @default.
- W124400099 creator A5083571113 @default.
- W124400099 date "2009-01-01" @default.
- W124400099 modified "2023-10-17" @default.
- W124400099 title "Reconciling Trust and Modularity Goals in Web Services" @default.
- W124400099 cites W1488890761 @default.
- W124400099 cites W1497524189 @default.
- W124400099 cites W1505465226 @default.
- W124400099 cites W1513224132 @default.
- W124400099 cites W1518108783 @default.
- W124400099 cites W1520331889 @default.
- W124400099 cites W1528710605 @default.
- W124400099 cites W1530735169 @default.
- W124400099 cites W1539693001 @default.
- W124400099 cites W1547542187 @default.
- W124400099 cites W1552393538 @default.
- W124400099 cites W1554683232 @default.
- W124400099 cites W1574164070 @default.
- W124400099 cites W1964026148 @default.
- W124400099 cites W1975657455 @default.
- W124400099 cites W1978446427 @default.
- W124400099 cites W1979191543 @default.
- W124400099 cites W1980280740 @default.
- W124400099 cites W1980939032 @default.
- W124400099 cites W1984959361 @default.
- W124400099 cites W1991354622 @default.
- W124400099 cites W1993941352 @default.
- W124400099 cites W2009712165 @default.
- W124400099 cites W2011112377 @default.
- W124400099 cites W2019545801 @default.
- W124400099 cites W2019881090 @default.
- W124400099 cites W2026134631 @default.
- W124400099 cites W2030145186 @default.
- W124400099 cites W2032399648 @default.
- W124400099 cites W2034711041 @default.
- W124400099 cites W2038483112 @default.
- W124400099 cites W2044338429 @default.
- W124400099 cites W2054620608 @default.
- W124400099 cites W2057503672 @default.
- W124400099 cites W2069929296 @default.
- W124400099 cites W2074506822 @default.
- W124400099 cites W2074877666 @default.
- W124400099 cites W2087713039 @default.
- W124400099 cites W2094160561 @default.
- W124400099 cites W2097304805 @default.
- W124400099 cites W2100050463 @default.
- W124400099 cites W2105401205 @default.
- W124400099 cites W2112522398 @default.
- W124400099 cites W2112780297 @default.
- W124400099 cites W2117108423 @default.
- W124400099 cites W2120853077 @default.
- W124400099 cites W2120918984 @default.
- W124400099 cites W2122049982 @default.
- W124400099 cites W2125634737 @default.
- W124400099 cites W2128076027 @default.
- W124400099 cites W2129395942 @default.
- W124400099 cites W2134119432 @default.
- W124400099 cites W2136170403 @default.
- W124400099 cites W2137689716 @default.
- W124400099 cites W2138856440 @default.
- W124400099 cites W2146455667 @default.
- W124400099 cites W2152735691 @default.
- W124400099 cites W2152929251 @default.
- W124400099 cites W2153324799 @default.
- W124400099 cites W2154564703 @default.
- W124400099 cites W2158126684 @default.
- W124400099 cites W2158297335 @default.
- W124400099 cites W2162022335 @default.
- W124400099 cites W2162678355 @default.
- W124400099 cites W2163649342 @default.
- W124400099 cites W2166510103 @default.
- W124400099 cites W2167968482 @default.
- W124400099 cites W2168630545 @default.
- W124400099 cites W2168986107 @default.
- W124400099 cites W2188364336 @default.
- W124400099 cites W2295471304 @default.
- W124400099 cites W2340735175 @default.
- W124400099 cites W2913459036 @default.
- W124400099 hasPublicationYear "2009" @default.
- W124400099 type Work @default.
- W124400099 sameAs 124400099 @default.
- W124400099 citedByCount "0" @default.
- W124400099 crossrefType "journal-article" @default.
- W124400099 hasAuthorship W124400099A5014066009 @default.
- W124400099 hasAuthorship W124400099A5025486613 @default.
- W124400099 hasAuthorship W124400099A5059626072 @default.
- W124400099 hasAuthorship W124400099A5083571113 @default.
- W124400099 hasConcept C115903868 @default.
- W124400099 hasConcept C116537 @default.
- W124400099 hasConcept C136764020 @default.
- W124400099 hasConcept C144024400 @default.
- W124400099 hasConcept C144133560 @default.
- W124400099 hasConcept C15744967 @default.
- W124400099 hasConcept C162853370 @default.
- W124400099 hasConcept C26517878 @default.
- W124400099 hasConcept C2779478453 @default.