FRINK Linked Data Fragments server

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

• W2023361932 endingPage "91" @default.
• W2023361932 startingPage "60" @default.
• W2023361932 abstract "This article is about a breadth-first exploration of logical concepts in cryptography and their linguistic abstraction and model-theoretic combination in a comprehensive logical system, called CPL (for Cryptographic Protocol Logic ). We focus on two fundamental aspects of cryptography. Namely, the security of communication (as opposed to security of storage ) and cryptographic protocols (as opposed to cryptographic operators ). The logical concepts explored are the following. Primary concepts The modal concepts of knowledge, norms, provability, space, and time. Secondary concepts Individual and propositional knowledge, confidentiality norms, truth-functional and relevant (in particular, intuitionistic) implication, multiple and complex truth values, and program types. The distinguishing feature of CPL is that it unifies and refines a variety of existing approaches. This feature is the result of our wholistic conception of property-based (modal logics) and model-based (process algebra) formalisms. We illustrate the expressiveness of CPL on representative requirements engineering case studies. Further, we extend (core) CPL (qualitative time) with rational-valued time , i.e. time stamps, timed keys, and potentially drifting local clocks, to tCPL (quantitative time). Our extension is conservative and provides further evidence for Lamport’s claim that adding real time to an untimed formalism is really simple." @default.
• W2023361932 created "2016-06-24" @default.
• W2023361932 creator A5084615644 @default.
• W2023361932 date "2008-09-01" @default.
• W2023361932 modified "2023-09-30" @default.
• W2023361932 title "Cryptographic protocol logic: Satisfaction for (timed) Dolev–Yao cryptography" @default.
• W2023361932 cites W10909475 @default.
• W2023361932 cites W13928559 @default.
• W2023361932 cites W1485990531 @default.
• W2023361932 cites W1489227129 @default.
• W2023361932 cites W1490590996 @default.
• W2023361932 cites W1493799155 @default.
• W2023361932 cites W1499934958 @default.
• W2023361932 cites W1506588809 @default.
• W2023361932 cites W1516526114 @default.
• W2023361932 cites W1520770687 @default.
• W2023361932 cites W1538657331 @default.
• W2023361932 cites W1544787586 @default.
• W2023361932 cites W1551843303 @default.
• W2023361932 cites W1554618854 @default.
• W2023361932 cites W1561144355 @default.
• W2023361932 cites W1562901937 @default.
• W2023361932 cites W1564466854 @default.
• W2023361932 cites W1566400168 @default.
• W2023361932 cites W1568804695 @default.
• W2023361932 cites W1581458632 @default.
• W2023361932 cites W1582292473 @default.
• W2023361932 cites W1588668163 @default.
• W2023361932 cites W1601380368 @default.
• W2023361932 cites W1607134907 @default.
• W2023361932 cites W1607643969 @default.
• W2023361932 cites W1660562555 @default.
• W2023361932 cites W1773609568 @default.
• W2023361932 cites W1798924124 @default.
• W2023361932 cites W1863552032 @default.
• W2023361932 cites W1906710615 @default.
• W2023361932 cites W1949723230 @default.
• W2023361932 cites W1958691507 @default.
• W2023361932 cites W1973045663 @default.
• W2023361932 cites W1973054120 @default.
• W2023361932 cites W1982325601 @default.
• W2023361932 cites W1987035270 @default.
• W2023361932 cites W1988422114 @default.
• W2023361932 cites W1991305430 @default.
• W2023361932 cites W1994676271 @default.
• W2023361932 cites W2001539364 @default.
• W2023361932 cites W2009552408 @default.
• W2023361932 cites W2009965218 @default.
• W2023361932 cites W2010939995 @default.
• W2023361932 cites W2018812956 @default.
• W2023361932 cites W2026329508 @default.
• W2023361932 cites W2029693536 @default.
• W2023361932 cites W2031130420 @default.
• W2023361932 cites W2036707990 @default.
• W2023361932 cites W2043468053 @default.
• W2023361932 cites W2046551143 @default.
• W2023361932 cites W2049129243 @default.
• W2023361932 cites W2070207454 @default.
• W2023361932 cites W2072189420 @default.
• W2023361932 cites W2073385346 @default.
• W2023361932 cites W2077025369 @default.
• W2023361932 cites W2093916942 @default.
• W2023361932 cites W2104655005 @default.
• W2023361932 cites W2112240651 @default.
• W2023361932 cites W2113599658 @default.
• W2023361932 cites W2117413194 @default.
• W2023361932 cites W2124209077 @default.
• W2023361932 cites W2127035198 @default.
• W2023361932 cites W2128747615 @default.
• W2023361932 cites W2140665129 @default.
• W2023361932 cites W2141826787 @default.
• W2023361932 cites W2145415641 @default.
• W2023361932 cites W2146766934 @default.
• W2023361932 cites W2146819619 @default.
• W2023361932 cites W2153734519 @default.
• W2023361932 cites W2156773905 @default.
• W2023361932 cites W2156866532 @default.
• W2023361932 cites W2159256409 @default.
• W2023361932 cites W2159543798 @default.
• W2023361932 cites W2159793247 @default.
• W2023361932 cites W2160675873 @default.
• W2023361932 cites W2161093351 @default.
• W2023361932 cites W2161246822 @default.
• W2023361932 cites W2163790120 @default.
• W2023361932 cites W2164467160 @default.
• W2023361932 cites W2167467151 @default.
• W2023361932 cites W2174699955 @default.
• W2023361932 cites W2179080908 @default.
• W2023361932 cites W2224085299 @default.
• W2023361932 cites W2400049039 @default.
• W2023361932 cites W2610670723 @default.
• W2023361932 cites W2913459036 @default.
• W2023361932 cites W3031048092 @default.
• W2023361932 cites W647513699 @default.
• W2023361932 cites W67051990 @default.
• W2023361932 cites W1495871816 @default.
• W2023361932 doi "https://doi.org/10.1016/j.jlap.2008.05.005" @default.
• W2023361932 hasPublicationYear "2008" @default.

• next