Search Results - "semantics"

Operational semantics and verification of security protocols by Cremers, Cas

Contents: SpringerLink - Click here for access

Web information systems and mining : international conference, WISM 2012, Chengdu, China, October 26-28, 2012, proceedings by WISM 2012 Chengdu, China, SpringerLink (Online service)

Contents: SpringerLink - Click here for access

Network science and cybersecurity by SpringerLink (Online service)

Contents: SpringerLink - Click here for access

Data science and security : proceedings of IDSCS 2021 by International Conference on Data Science for Computational Security Pune, India, SpringerLink (Online service)

Contents: “…Towards a Knowledge Centric Semantic Approach for Text Summarization --…”
SpringerLink - Click here for access

Trustworthy global computing : 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised selected papers by TGC (Symposium) Newcastle upon Tyne, England), SpringerLink (Online service)

Contents: SpringerLink - Click here for access

Security protocols XX : 20th International Workshop, Cambridge, UK, April 12-13, 2012, Revised selected papers by International Workshop on Security Protocols Cambridge, England, SpringerLink (Online service)

Contents: SpringerLink - Click here for access

Programming languages and systems : 10th Asian symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012, proceedings by APLAS (Symposium) Kyoto, Japan), SpringerLink (Online service)

Contents: SpringerLink - Click here for access

Collaborative, trusted and privacy-Aware e/m-Services : 12th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2013, Athens, Greece, April 25-26, 2013. Proceedi... by IFIP Conference on e-Business, e-Services, and e-Society Athens, Greece, SpringerLink (Online service)

Contents: “…Foundational Ontologies for Semantic Integration in EAI: A Systematic Literature Review /…”
SpringerLink - Click here for access

Multidisciplinary research and practice for information systems : IFIP WG 8.4, 8.9/TC 5 International Cross-Domain Conference and Workshop on Availability, Reliability, and Securit... by International Cross-Domain Conference and Workshop on Availability, Reliability, and Security Prague, Czech Republic, SpringerLink (Online service)

Contents: “…Automatic Image Annotation Using Semantic Text Analysis /…”
SpringerLink - Click here for access

Selected areas in cryptography : 11th international workshop, SAC 2004, Waterloo, Canada, August 9-10, 2004 : revised selected papers by SAC (Conference) Waterloo, Ont.), SpringerLink (Online service)

Contents: “…About the security of ciphers (semantic security and pseudo-random permutations) /…”
SpringerLink - Click here for access

Security and trust management : 8th International Workshop, STM 2012, Pisa, Italy, September 13-14, 2012 : revised selected papers by STM (Conference) Pisa, Italy), SpringerLink (Online service)

Contents: SpringerLink - Click here for access

Cryptology and network security : 12th International Conference, CANS 2013, Paraty, Brazil, November 20-22. 2013. Proceedings by International Conference on Cryptology and Network Security Parati, Brazil, SpringerLink (Online service)

Contents: SpringerLink - Click here for access

Critical Information Infrastructures Security : 8th International Workshop, CRITIS 2013, Amsterdam, the Netherlands, September 16-18, 2013, Revised Selected Papers by CRITIS (Conference) Amsterdam, Netherlands), SpringerLink (Online service)

Contents: “…Real Time Threat Prediction, Identification and Mitigation for Critical Infrastructure Protection Using Semantics, Event Processing and Sequential Analysis /…”
SpringerLink - Click here for access

Data and applications security and privacy XXVI : 26th Annual IFIP WG 11.3 Conference, DBSec 2012, Paris, France, July 11-13,2012. Proceedings by Annual IFIP WG 11.3 Working Conference on Data and Applications Security Paris, France, SpringerLink (Online service)

Contents: SpringerLink - Click here for access

Foundations and practice of security : 5th International Symposium, FPS 2012, Montreal, QC, Canada, October 25-26, 2012, Revised selected papers by FPS (Symposium) Montréal, Québec), SpringerLink (Online service)

Contents: “…Extracting Attack Scenarios Using Intrusion Semantics /…”
SpringerLink - Click here for access

Security and privacy : second ISEA International Conference, ISEA-ISAP 2018, Jaipur, India, January 9-11, 2019, revised selected papers by ISEA-ISAP (Conference) Jaipur, India), SpringerLink (Online service)

Contents: SpringerLink - Click here for access

Public-key cryptography-- PKC 2013 : 16th International Conference on Practice and Theory in Public-Key Cryptography, Nara, Japan, February 26-March 1, 2013. Proceedings by International Workshop on Practice and Theory in Public Key Cryptography Nara-shi, Japan, SpringerLink (Online service)

Contents: SpringerLink - Click here for access

Information and communication technology : International Conference, ICT-EurAsia 2013, Yogyakarta, Indonesia, March 25-29, 2013. Proceedings by ICT-EurAsia (Conference) Yogyakarta, Indonesia), SpringerLink (Online service)

Contents: SpringerLink - Click here for access

Advanced computing, networking and security : International Conference, ADCONS 2011, Surathkal, India, December 16-18, 2011, Revised selected papers by ADCONS (Conference) Surathkal, India), SpringerLink (Online service)

Contents: “…Content Based Service Discovery in Semantic Web Services Using WordNet /…”
SpringerLink - Click here for access

Computer safety, reliability, and security : 30th international conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011 : proceedings by SAFECOMP (Conference) Naples, Italy), SpringerLink (Online service)

Contents: SpringerLink - Click here for access