Search Results - "semantics"
-
1
Operational semantics and verification of security protocols
Published: Springer, 2012Contents: SpringerLink - Click here for accessDescription: 1 online resource.
eBook -
2
Web information systems and mining : international conference, WISM 2012, Chengdu, China, October 26-28, 2012, proceedings
Published: Springer, 2012Contents: SpringerLink - Click here for accessDescription: 1 online resource.
Conference Proceeding eBook -
3
Network science and cybersecurity
Published: Springer Science+Business Media, 2014Contents: SpringerLink - Click here for accessDescription: 1 online resource (x, 285 pages) : illustrations.
eBook -
4
Data science and security : proceedings of IDSCS 2021
Published: Springer, 2021Contents: “…Towards a Knowledge Centric Semantic Approach for Text Summarization --…”Description: 1 online resource (xiv, 489 pages).
SpringerLink - Click here for access
Conference Proceeding eBook -
5
Trustworthy global computing : 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised selected papers
Published: Springer, 2013Contents: SpringerLink - Click here for accessDescription: 1 online resource (x, 213 pages) : illustrations.
Conference Proceeding eBook -
6
Security protocols XX : 20th International Workshop, Cambridge, UK, April 12-13, 2012, Revised selected papers
Published: Springer, 2012Contents: SpringerLink - Click here for accessDescription: 1 online resource.
Conference Proceeding eBook -
7
Programming languages and systems : 10th Asian symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012, proceedings
Published: Springer, 2012Contents: SpringerLink - Click here for accessDescription: 1 online resource (xi, 388 pages) : illustrations.
Conference Proceeding eBook -
8
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...
Published: Springer, 2013Contents: “…Foundational Ontologies for Semantic Integration in EAI: A Systematic Literature Review /…”Description: 1 online resource.
SpringerLink - Click here for access
Conference Proceeding eBook -
9
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...
Published: Springer, 2012Contents: “…Automatic Image Annotation Using Semantic Text Analysis /…”Description: 1 online resource.
SpringerLink - Click here for access
Conference Proceeding eBook -
10
Selected areas in cryptography : 11th international workshop, SAC 2004, Waterloo, Canada, August 9-10, 2004 : revised selected papers
Published: Springer, 2005Contents: “…About the security of ciphers (semantic security and pseudo-random permutations) /…”Description: 1 online resource (xi, 353 pages) : figure, table.
SpringerLink - Click here for access
Conference Proceeding eBook -
11
Security and trust management : 8th International Workshop, STM 2012, Pisa, Italy, September 13-14, 2012 : revised selected papers
Published: Springer, 2013Contents: SpringerLink - Click here for accessDescription: 1 online resource (x, 320 pages) : illustrations.
Conference Proceeding eBook -
12
Cryptology and network security : 12th International Conference, CANS 2013, Paraty, Brazil, November 20-22. 2013. Proceedings
Published: Springer, 2013Contents: SpringerLink - Click here for accessDescription: 1 online resource (xviii, 349 pages) : illustrations.
Conference Proceeding eBook -
13
Critical Information Infrastructures Security : 8th International Workshop, CRITIS 2013, Amsterdam, the Netherlands, September 16-18, 2013, Revised Selected Papers
Published: Springer, 2013Contents: “…Real Time Threat Prediction, Identification and Mitigation for Critical Infrastructure Protection Using Semantics, Event Processing and Sequential Analysis /…”Description: 1 online resource (xiv, 219 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
14
Data and applications security and privacy XXVI : 26th Annual IFIP WG 11.3 Conference, DBSec 2012, Paris, France, July 11-13,2012. Proceedings
Published: Springer, 2012Contents: SpringerLink - Click here for accessDescription: 1 online resource (xiii, 329 pages) : illustrations.
Conference Proceeding eBook -
15
Foundations and practice of security : 5th International Symposium, FPS 2012, Montreal, QC, Canada, October 25-26, 2012, Revised selected papers
Published: Springer, 2013Contents: “…Extracting Attack Scenarios Using Intrusion Semantics /…”Description: 1 online resource (381 pages) : illustrations (black and white).
SpringerLink - Click here for access
Conference Proceeding eBook -
16
Security and privacy : second ISEA International Conference, ISEA-ISAP 2018, Jaipur, India, January 9-11, 2019, revised selected papers
Published: Springer, 2019Contents: SpringerLink - Click here for accessDescription: 1 online resource.
Conference Proceeding eBook -
17
Public-key cryptography-- PKC 2013 : 16th International Conference on Practice and Theory in Public-Key Cryptography, Nara, Japan, February 26-March 1, 2013. Proceedings
Published: Springer, 2013Contents: SpringerLink - Click here for accessDescription: 1 online resource.
Conference Proceeding eBook -
18
Information and communication technology : International Conference, ICT-EurAsia 2013, Yogyakarta, Indonesia, March 25-29, 2013. Proceedings
Published: Springer, 2013Contents: SpringerLink - Click here for accessDescription: 1 online resource (xvi, 552 pages) : illustrations (black and white).
Conference Proceeding eBook -
19
Advanced computing, networking and security : International Conference, ADCONS 2011, Surathkal, India, December 16-18, 2011, Revised selected papers
Published: Springer, 2012Contents: “…Content Based Service Discovery in Semantic Web Services Using WordNet /…”Description: 1 online resource (xvii, 641 pages).
SpringerLink - Click here for access
Conference Proceeding eBook -
20
Computer safety, reliability, and security : 30th international conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011 : proceedings
Published: Springer, 2011Contents: SpringerLink - Click here for accessDescription: 1 online resource (xiv, 482 pages) : illustrations.
Conference Proceeding eBook