FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2528982022> ?p ?o ?g. }

• W2528982022 endingPage "892" @default.
• W2528982022 startingPage "883" @default.
• W2528982022 abstract "The protection of users’ data conforming to best practice and legislation is one of the main challenges in computer science. Very often, large-scale data leaks remind us that the state of the art in data privacy and anonymity is severely lacking. The complexity of modern systems make it impossible for software architect to create secure software that correctly implements privacy policies without the help of automated tools. The academic community needs to invest more effort in the formal modelization of security and anonymity properties, providing a deeper understanding of the underlying concepts and challenges and allowing the creation of automated tools to help software architects and developers. This track provides numerous contributions to the formal modeling of security and anonymity properties and the creation of tools to verify them on large-scale software projects." @default.
• W2528982022 created "2016-10-14" @default.
• W2528982022 creator A5030129842 @default.
• W2528982022 creator A5051858743 @default.
• W2528982022 date "2016-01-01" @default.
• W2528982022 modified "2023-10-17" @default.
• W2528982022 title "Security and Privacy of Protocols and Software with Formal Methods" @default.
• W2528982022 cites W1483280370 @default.
• W2528982022 cites W1513989276 @default.
• W2528982022 cites W1565715468 @default.
• W2528982022 cites W1736896304 @default.
• W2528982022 cites W180513329 @default.
• W2528982022 cites W1983226837 @default.
• W2528982022 cites W1994676271 @default.
• W2528982022 cites W2013704995 @default.
• W2528982022 cites W2023808162 @default.
• W2528982022 cites W2094873755 @default.
• W2528982022 cites W2096947085 @default.
• W2528982022 cites W2097151854 @default.
• W2528982022 cites W2101171610 @default.
• W2528982022 cites W2117189826 @default.
• W2528982022 cites W2119251836 @default.
• W2528982022 cites W2119253309 @default.
• W2528982022 cites W2120600989 @default.
• W2528982022 cites W2125894704 @default.
• W2528982022 cites W2142958724 @default.
• W2528982022 cites W2143049370 @default.
• W2528982022 cites W2167136065 @default.
• W2528982022 cites W2171480813 @default.
• W2528982022 cites W2173638604 @default.
• W2528982022 cites W2365883577 @default.
• W2528982022 cites W2527879420 @default.
• W2528982022 cites W2528493330 @default.
• W2528982022 cites W2529016814 @default.
• W2528982022 cites W2529331507 @default.
• W2528982022 cites W2529433139 @default.
• W2528982022 cites W2571169473 @default.
• W2528982022 cites W2697529200 @default.
• W2528982022 cites W4241909663 @default.
• W2528982022 cites W98275668 @default.
• W2528982022 doi "https://doi.org/10.1007/978-3-319-47166-2_61" @default.
• W2528982022 hasPublicationYear "2016" @default.
• W2528982022 type Work @default.
• W2528982022 sameAs 2528982022 @default.
• W2528982022 citedByCount "4" @default.
• W2528982022 countsByYear W25289820222017 @default.
• W2528982022 countsByYear W25289820222020 @default.
• W2528982022 countsByYear W25289820222021 @default.
• W2528982022 crossrefType "book-chapter" @default.
• W2528982022 hasAuthorship W2528982022A5030129842 @default.
• W2528982022 hasAuthorship W2528982022A5051858743 @default.
• W2528982022 hasBestOaLocation W25289820222 @default.
• W2528982022 hasConcept C108827166 @default.
• W2528982022 hasConcept C11413529 @default.
• W2528982022 hasConcept C115903868 @default.
• W2528982022 hasConcept C123201435 @default.
• W2528982022 hasConcept C178005623 @default.
• W2528982022 hasConcept C193934123 @default.
• W2528982022 hasConcept C199360897 @default.
• W2528982022 hasConcept C22680326 @default.
• W2528982022 hasConcept C2777904410 @default.
• W2528982022 hasConcept C29983905 @default.
• W2528982022 hasConcept C38652104 @default.
• W2528982022 hasConcept C41008148 @default.
• W2528982022 hasConcept C48103436 @default.
• W2528982022 hasConcept C527648132 @default.
• W2528982022 hasConcept C62913178 @default.
• W2528982022 hasConcept C75606506 @default.
• W2528982022 hasConceptScore W2528982022C108827166 @default.
• W2528982022 hasConceptScore W2528982022C11413529 @default.
• W2528982022 hasConceptScore W2528982022C115903868 @default.
• W2528982022 hasConceptScore W2528982022C123201435 @default.
• W2528982022 hasConceptScore W2528982022C178005623 @default.
• W2528982022 hasConceptScore W2528982022C193934123 @default.
• W2528982022 hasConceptScore W2528982022C199360897 @default.
• W2528982022 hasConceptScore W2528982022C22680326 @default.
• W2528982022 hasConceptScore W2528982022C2777904410 @default.
• W2528982022 hasConceptScore W2528982022C29983905 @default.
• W2528982022 hasConceptScore W2528982022C38652104 @default.
• W2528982022 hasConceptScore W2528982022C41008148 @default.
• W2528982022 hasConceptScore W2528982022C48103436 @default.
• W2528982022 hasConceptScore W2528982022C527648132 @default.
• W2528982022 hasConceptScore W2528982022C62913178 @default.
• W2528982022 hasConceptScore W2528982022C75606506 @default.
• W2528982022 hasLocation W25289820221 @default.
• W2528982022 hasLocation W25289820222 @default.
• W2528982022 hasLocation W25289820223 @default.
• W2528982022 hasLocation W25289820224 @default.
• W2528982022 hasOpenAccess W2528982022 @default.
• W2528982022 hasPrimaryLocation W25289820221 @default.
• W2528982022 hasRelatedWork W1490610745 @default.
• W2528982022 hasRelatedWork W1539260327 @default.
• W2528982022 hasRelatedWork W1990049675 @default.
• W2528982022 hasRelatedWork W2095737137 @default.
• W2528982022 hasRelatedWork W2113738519 @default.
• W2528982022 hasRelatedWork W2182490965 @default.
• W2528982022 hasRelatedWork W4243339578 @default.
• W2528982022 hasRelatedWork W4246157826 @default.

• next