Matches in SemOpenAlex for { <https://semopenalex.org/work/W1570854248> ?p ?o ?g. }
- W1570854248 abstract "This thesis focuses on the study of integration of formal methodologies in security protocol analysis and fault-tolerance analysis. The research is developed in two different directions: interdisciplinary and intra-disciplinary. In the former, we look for a beneficial interaction between strategies of analysis in security protocols and fault-tolerance; in the latter, we search for connections among different approaches of analysis within the security area. In the following we summarize the main results of the research." @default.
- W1570854248 created "2016-06-24" @default.
- W1570854248 creator A5070924321 @default.
- W1570854248 date "2005-06-30" @default.
- W1570854248 modified "2023-09-22" @default.
- W1570854248 title "Integration of Analysis Techniques in Security and Fault-Tolerance" @default.
- W1570854248 cites W132594803 @default.
- W1570854248 cites W1483550678 @default.
- W1570854248 cites W1485725695 @default.
- W1570854248 cites W1490990888 @default.
- W1570854248 cites W1491931107 @default.
- W1570854248 cites W1492512692 @default.
- W1570854248 cites W1493078761 @default.
- W1570854248 cites W1497272948 @default.
- W1570854248 cites W1498342204 @default.
- W1570854248 cites W1498682591 @default.
- W1570854248 cites W1501912551 @default.
- W1570854248 cites W1502051745 @default.
- W1570854248 cites W1502155617 @default.
- W1570854248 cites W1503973138 @default.
- W1570854248 cites W1506588809 @default.
- W1570854248 cites W1513989276 @default.
- W1570854248 cites W1517246617 @default.
- W1570854248 cites W1521883036 @default.
- W1570854248 cites W1529656707 @default.
- W1570854248 cites W1530147404 @default.
- W1570854248 cites W1531876820 @default.
- W1570854248 cites W1535806969 @default.
- W1570854248 cites W1538078543 @default.
- W1570854248 cites W1541083511 @default.
- W1570854248 cites W1542190420 @default.
- W1570854248 cites W1543550954 @default.
- W1570854248 cites W1551214052 @default.
- W1570854248 cites W1564764333 @default.
- W1570854248 cites W1565432667 @default.
- W1570854248 cites W1567730556 @default.
- W1570854248 cites W1570153265 @default.
- W1570854248 cites W1572578464 @default.
- W1570854248 cites W1579149081 @default.
- W1570854248 cites W1582292473 @default.
- W1570854248 cites W1582665553 @default.
- W1570854248 cites W1583463787 @default.
- W1570854248 cites W1585877836 @default.
- W1570854248 cites W1594572138 @default.
- W1570854248 cites W1613680257 @default.
- W1570854248 cites W1617766523 @default.
- W1570854248 cites W167927161 @default.
- W1570854248 cites W1727096726 @default.
- W1570854248 cites W1739770529 @default.
- W1570854248 cites W1779054477 @default.
- W1570854248 cites W1789528896 @default.
- W1570854248 cites W1820789496 @default.
- W1570854248 cites W1841788913 @default.
- W1570854248 cites W1843540884 @default.
- W1570854248 cites W1867495292 @default.
- W1570854248 cites W1867986337 @default.
- W1570854248 cites W1897673680 @default.
- W1570854248 cites W1912953170 @default.
- W1570854248 cites W1926128235 @default.
- W1570854248 cites W1935929520 @default.
- W1570854248 cites W1943502734 @default.
- W1570854248 cites W1971107784 @default.
- W1570854248 cites W1971837836 @default.
- W1570854248 cites W1980159196 @default.
- W1570854248 cites W1985665832 @default.
- W1570854248 cites W1986831108 @default.
- W1570854248 cites W1987574012 @default.
- W1570854248 cites W1991354622 @default.
- W1570854248 cites W1994676271 @default.
- W1570854248 cites W1998017916 @default.
- W1570854248 cites W2003915781 @default.
- W1570854248 cites W2007808472 @default.
- W1570854248 cites W2010011984 @default.
- W1570854248 cites W2010939995 @default.
- W1570854248 cites W2011716301 @default.
- W1570854248 cites W2013672985 @default.
- W1570854248 cites W2015640848 @default.
- W1570854248 cites W2016927062 @default.
- W1570854248 cites W2016976065 @default.
- W1570854248 cites W2018389955 @default.
- W1570854248 cites W2018812956 @default.
- W1570854248 cites W2019314978 @default.
- W1570854248 cites W2023808162 @default.
- W1570854248 cites W2029693536 @default.
- W1570854248 cites W2032577199 @default.
- W1570854248 cites W2034717157 @default.
- W1570854248 cites W2041850201 @default.
- W1570854248 cites W2043452331 @default.
- W1570854248 cites W2052539228 @default.
- W1570854248 cites W2055028557 @default.
- W1570854248 cites W2065587852 @default.
- W1570854248 cites W2077359497 @default.
- W1570854248 cites W2081756744 @default.
- W1570854248 cites W2081966658 @default.
- W1570854248 cites W2083398633 @default.
- W1570854248 cites W2084160861 @default.
- W1570854248 cites W2084608278 @default.
- W1570854248 cites W2096651960 @default.
- W1570854248 cites W2096864414 @default.
- W1570854248 cites W2097026789 @default.