A Uniform Framework for Security and Trust Modeling and Analysis with Crypto-CCS (Q2866730): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q115044248
@@ Property / Wikidata QID: Q115044248 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2007.03.024
+Normal rank
@@ Property / OpenAlex ID @@
+W1964297175
@@ Property / OpenAlex ID: W1964297175 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus for cryptographic protocols: The spi calculus
+Normal rank
@@ Property / cites work @@
+Privacy enhancing technologies. Second international workshop, PET 2002, San Francisco, CA, USA, April 14--15, 2002. Revised papers
+Normal rank
@@ Property / cites work @@
+Q4708600
@@ Property / cites work: Q4708600 / rank @@
+Normal rank
@@ Property / cites work @@
+Analysis of security protocols as open systems
@@ Property / cites work: Analysis of security protocols as open systems / rank @@
+Normal rank
@@ Property / cites work @@
+Towards an Integrated Formal Analysis for Security and Trust
+Normal rank
@@ Property / cites work @@
+A Uniform Framework for Security and Trust Modeling and Analysis with Crypto-CCS
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank