Search Results for Computer science. - Narrowed by: Artificial intelligence. - Data protection.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bscience.$0026qf$003dSUBJECT$002509Subject$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026qf$003dSUBJECT$002509Subject$002509Data$002bprotection.$002509Data$002bprotection.$0026te$003dILS$0026ps$003d300?
2024-08-16T18:10:27Z
Artificial Intelligence Tools for Cyber Attribution
ent://SD_ILS/0/SD_ILS:401866
2024-08-16T18:10:27Z
2024-08-16T18:10:27Z
Author Nunes, Eric. author. Shakarian, Paulo. author. Simari, Gerardo I. author. Ruef, Andrew. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-73788-1">https://doi.org/10.1007/978-3-319-73788-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334825
2024-08-16T18:10:27Z
2024-08-16T18:10:27Z
Author Blazy, Sandrine. editor. Paulin-Mohring, Christine. editor. Pichardie, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334825.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39634-2">http://dx.doi.org/10.1007/978-3-642-39634-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
On the Move to Meaningful Internet Systems: OTM 2013 Conferences Confederated International Conferences: CoopIS, DOA-Trusted Cloud, and ODBASE 2013, Graz, Austria, September 9-13, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335044
2024-08-16T18:10:27Z
2024-08-16T18:10:27Z
Author Meersman, Robert. editor. Panetto, Hervé. editor. Dillon, Tharam. editor. Eder, Johann. editor. Bellahsene, Zohra. editor.<br/>Preferred Shelf Number ONLINE(335044.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41030-7">http://dx.doi.org/10.1007/978-3-642-41030-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Computational Science XVII
ent://SD_ILS/0/SD_ILS:334063
2024-08-16T18:10:27Z
2024-08-16T18:10:27Z
Author Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334063.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35840-1">http://dx.doi.org/10.1007/978-3-642-35840-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Security and Intelligent Information Systems International Joint Conferences, SIIS 2011, Warsaw, Poland, June 13-14, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:195894
2024-08-16T18:10:27Z
2024-08-16T18:10:27Z
Author Bouvry, Pascal. editor. Kłopotek, Mieczysław A. editor. Leprévost, Franck. editor. Marciniak, Małgorzata. editor. Mykowiecka, Agnieszka. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-25261-7">http://dx.doi.org/10.1007/978-3-642-25261-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interactive Theorem Proving Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197211
2024-08-16T18:10:27Z
2024-08-16T18:10:27Z
Author Beringer, Lennart. editor. Felty, Amy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32347-8">http://dx.doi.org/10.1007/978-3-642-32347-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Wireless Networks and Computational Intelligence 6th International Conference on Information Processing, ICIP 2012, Bangalore, India, August 10-12, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197125
2024-08-16T18:10:27Z
2024-08-16T18:10:27Z
Author Venugopal, K. R. editor. Patnaik, L. M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31686-9">http://dx.doi.org/10.1007/978-3-642-31686-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Convergence and Hybrid Information Technology 6th International Conference, ICHIT 2012, Daejeon, Korea, August 23-25, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197259
2024-08-16T18:10:27Z
2024-08-16T18:10:27Z
Author Lee, Geuk. editor. Howard, Daniel. editor. Ślęzak, Dominik. editor. Hong, You Sik. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32692-9">http://dx.doi.org/10.1007/978-3-642-32692-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
On the Move to Meaningful Internet Systems: OTM 2012 Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 10-14, 2012. Proceedings, Part II
ent://SD_ILS/0/SD_ILS:197409
2024-08-16T18:10:27Z
2024-08-16T18:10:27Z
Author Meersman, Robert. editor. Panetto, Hervé. editor. Dillon, Tharam. editor. Rinderle-Ma, Stefanie. editor. Dadam, Peter. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33615-7">http://dx.doi.org/10.1007/978-3-642-33615-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Safety, Reliability, and Security SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197419
2024-08-16T18:10:27Z
2024-08-16T18:10:27Z
Author Ortmeier, Frank. editor. Daniel, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33675-1">http://dx.doi.org/10.1007/978-3-642-33675-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modeling Decisions for Artificial Intelligence 9th International Conference, MDAI 2012, Girona, Catalonia, Spain, November 21-23, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197533
2024-08-16T18:10:27Z
2024-08-16T18:10:27Z
Author Torra, Vicenç. editor. Narukawa, Yasuo. editor. López, Beatriz. editor. Villaret, Mateu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34620-0">http://dx.doi.org/10.1007/978-3-642-34620-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Emerging Trends and Applications in Information Communication Technologies Second International Multi Topic Conference, IMTIC 2012, Jamshoro, Pakistan, March 28-30, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196576
2024-08-16T18:10:27Z
2024-08-16T18:10:27Z
Author Chowdhry, Bhawani Shankar. editor. Shaikh, Faisal Karim. editor. Hussain, Dil Muhammad Akbar. editor. Uqaili, Muhammad Aslam. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28962-0">http://dx.doi.org/10.1007/978-3-642-28962-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
On the Move to Meaningful Internet Systems: OTM 2012 Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 10-14, 2012. Proceedings, Part I
ent://SD_ILS/0/SD_ILS:197406
2024-08-16T18:10:27Z
2024-08-16T18:10:27Z
Author Meersman, Robert. editor. Panetto, Hervé. editor. Dillon, Tharam. editor. Rinderle-Ma, Stefanie. editor. Dadam, Peter. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33606-5">http://dx.doi.org/10.1007/978-3-642-33606-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Research on Electronic Commerce, Web Application, and Communication International Conference, ECWAC 2011, Guangzhou, China, April 16-17, 2011. Proceedings, Part I
ent://SD_ILS/0/SD_ILS:194345
2024-08-16T18:10:27Z
2024-08-16T18:10:27Z
Author Shen, Gang. editor. Huang, Xiong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20367-1">http://dx.doi.org/10.1007/978-3-642-20367-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Safety and Security in Multiagent Systems Research Results from 2004-2006
ent://SD_ILS/0/SD_ILS:191086
2024-08-16T18:10:27Z
2024-08-16T18:10:27Z
Author Barley, Mike. editor. Mouratidis, Haralambos. editor. Unruh, Amy. editor. Spears, Diana. editor. Scerri, Paul. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04879-1">http://dx.doi.org/10.1007/978-3-642-04879-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ambient Intelligence European Conference, AmI 2008, Nuremberg, Germany, November 19-22, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:189298
2024-08-16T18:10:27Z
2024-08-16T18:10:27Z
Author Aarts, Emile. editor. Crowley, James L. editor. Ruyter, Boris. editor. Gerhäuser, Heinz. editor. Pflaum, Alexander. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-89617-3">http://dx.doi.org/10.1007/978-3-540-89617-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ubiquitous Intelligence and Computing 5th International Conference, UIC 2008, Oslo, Norway, June 23-25, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:185770
2024-08-16T18:10:27Z
2024-08-16T18:10:27Z
Author Sandnes, Frode Eika. editor. Zhang, Yan. editor. Rong, Chunming. editor. Yang, Laurence T. editor. Ma, Jianhua. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69293-5">http://dx.doi.org/10.1007/978-3-540-69293-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ubiquitous Intelligence and Computing 4th International Conference, UIC 2007, Hong Kong, China, July 11-13, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186891
2024-08-16T18:10:27Z
2024-08-16T18:10:27Z
Author Indulska, Jadwiga. editor. Ma, Jianhua. editor. Yang, Laurence T. editor. Ungerer, Theo. editor. Cao, Jiannong. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73549-6">http://dx.doi.org/10.1007/978-3-540-73549-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications and Techniques in Information Security 10th International Conference, ATIS 2019, Thanjavur, India, November 22–24, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483576
2024-08-16T18:10:27Z
2024-08-16T18:10:27Z
Author Shankar Sriram, V. S. editor. (orcid)0000-0001-7870-7944 Subramaniyaswamy, V. editor. Sasikaladevi, N. editor. (orcid)0000-0002-0841-502X Zhang, Leo. editor. Batten, Lynn. editor. (orcid)0000-0003-4525-2423<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-15-0871-4">https://doi.org/10.1007/978-981-15-0871-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Future Network Systems and Security 5th International Conference, FNSS 2019, Melbourne, VIC, Australia, November 27–29, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486649
2024-08-16T18:10:27Z
2024-08-16T18:10:27Z
Author Doss, Robin. editor. (orcid)0000-0001-6143-6850 Piramuthu, Selwyn. editor. Zhou, Wei. editor. (orcid)0000-0002-9965-9870 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-34353-8">https://doi.org/10.1007/978-3-030-34353-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mobile Internet Security Second International Symposium, MobiSec 2017, Jeju Island, Republic of Korea, October 19–22, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485193
2024-08-16T18:10:27Z
2024-08-16T18:10:27Z
Author You, Ilsun. editor. (orcid)0000-0002-0604-3445 Chen, Hsing-Chung. editor. Sharma, Vishal. editor. Kotenko, Igor. editor. (orcid)0000-0001-6859-7120 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-3732-1">https://doi.org/10.1007/978-981-13-3732-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Applications of Neural Networks 19th International Conference, EANN 2018, Bristol, UK, September 3-5, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399759
2024-08-16T18:10:27Z
2024-08-16T18:10:27Z
Author Pimenidis, Elias. editor. (orcid)0000-0003-3593-8640 Jayne, Chrisina. editor. (orcid)0000-0001-7292-2109 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-98204-5">https://doi.org/10.1007/978-3-319-98204-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Network and Parallel Computing 15th IFIP WG 10.3 International Conference, NPC 2018, Muroran, Japan, November 29 – December 1, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400307
2024-08-16T18:10:27Z
2024-08-16T18:10:27Z
Author Zhang, Feng. editor. (orcid)0000-0003-1983-7321 Zhai, Jidong. editor. Snir, Marc. editor. Jin, Hai. editor. Kasahara, Hironori. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-05677-3">https://doi.org/10.1007/978-3-030-05677-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Privacy and Identity Management. The Smart Revolution 12th IFIP WG 9.2, 9.5, 9.6/11.7, 11.6/SIG 9.2.2 International Summer School, Ispra, Italy, September 4-8, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:401491
2024-08-16T18:10:27Z
2024-08-16T18:10:27Z
Author Hansen, Marit. editor. Kosta, Eleni. editor. Nai-Fovino, Igor. editor. Fischer-Hübner, Simone. editor. (orcid)0000-0002-6938-4466 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92925-5">https://doi.org/10.1007/978-3-319-92925-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Trust Management XII 12th IFIP WG 11.11 International Conference, IFIPTM 2018, Toronto, ON, Canada, July 10–13, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:402007
2024-08-16T18:10:27Z
2024-08-16T18:10:27Z
Author Gal-Oz, Nurit. editor. Lewis, Peter R. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-95276-5">https://doi.org/10.1007/978-3-319-95276-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cloud Computing, Security, Privacy in New Computing Environments 7th International Conference, CloudComp 2016, and First International Conference, SPNCE 2016, Guangzhou, China, November 25–26, and December 15–16, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:400508
2024-08-16T18:10:27Z
2024-08-16T18:10:27Z
Author Wan, Jiafu. editor. Lin, Kai. editor. Zeng, Delu. editor. Li, Jin. editor. Xiang, Yang. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69605-8">https://doi.org/10.1007/978-3-319-69605-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Innovation and Interdisciplinary Solutions for Underserved Areas First International Conference, InterSol 2017 and Sixth Collogue National sur la Recherche en Informatique et ses Applications, CNRIA 2017, Dakar, Senegal, April 11–12, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:402401
2024-08-16T18:10:27Z
2024-08-16T18:10:27Z
Author M. F. Kebe, Cheikh. editor. Gueye, Assane. editor. Ndiaye, Ababacar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-72965-7">https://doi.org/10.1007/978-3-319-72965-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations and Practice of Security 10th International Symposium, FPS 2017, Nancy, France, October 23-25, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:402017
2024-08-16T18:10:27Z
2024-08-16T18:10:27Z
Author Imine, Abdessamad. editor. Fernandez, José M. editor. (orcid)0000-0001-9836-3595 Marion, Jean-Yves. editor. Logrippo, Luigi. editor. (orcid)0000-0001-8804-0450 Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-75650-9">https://doi.org/10.1007/978-3-319-75650-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Outlier Analysis
ent://SD_ILS/0/SD_ILS:332026
2024-08-16T18:10:27Z
2024-08-16T18:10:27Z
Author Aggarwal, Charu C. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332026.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-6396-2">http://dx.doi.org/10.1007/978-1-4614-6396-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SmartData Privacy Meets Evolutionary Robotics
ent://SD_ILS/0/SD_ILS:332030
2024-08-16T18:10:27Z
2024-08-16T18:10:27Z
Author Harvey, Inman. editor. Cavoukian, Ann. editor. Tomko, George. editor. Borrett, Don. editor. Kwan, Hon. editor.<br/>Preferred Shelf Number ONLINE(332030.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-6409-9">http://dx.doi.org/10.1007/978-1-4614-6409-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Trustworthy Ubiquitous Computing
ent://SD_ILS/0/SD_ILS:207047
2024-08-16T18:10:27Z
2024-08-16T18:10:27Z
Author Khalil, Ismail. editor. Mantoro, Teddy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.2991/978-94-91216-71-8">http://dx.doi.org/10.2991/978-94-91216-71-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligence Management Knowledge Driven Frameworks for Combating Terrorism and Organized Crime
ent://SD_ILS/0/SD_ILS:173369
2024-08-16T18:10:27Z
2024-08-16T18:10:27Z
Author Akhgar, Babak. editor. Yates, Simeon. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-2140-4">http://dx.doi.org/10.1007/978-1-4471-2140-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Security Informatics
ent://SD_ILS/0/SD_ILS:172217
2024-08-16T18:10:27Z
2024-08-16T18:10:27Z
Author Yang, Christopher C. editor. Chau, Michael. editor. Wang, Jau-Hwang. editor. Chen, Hsinchun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-1325-8">http://dx.doi.org/10.1007/978-1-4419-1325-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Managing and Mining Uncertain Data
ent://SD_ILS/0/SD_ILS:164752
2024-08-16T18:10:27Z
2024-08-16T18:10:27Z
Author Aggarwal, Charu C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-09690-2">http://dx.doi.org/10.1007/978-0-387-09690-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Machine Learning in Cyber Trust Security, Privacy, and Reliability
ent://SD_ILS/0/SD_ILS:167900
2024-08-16T18:10:27Z
2024-08-16T18:10:27Z
Author Yu, Philip S. editor. Tsai, Jeffrey J. P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-88735-7">http://dx.doi.org/10.1007/978-0-387-88735-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Correctness of Security Protocols With 62 Figures and 4 Tables
ent://SD_ILS/0/SD_ILS:185368
2024-08-16T18:10:27Z
2024-08-16T18:10:27Z
Author Bella, Giampaolo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68136-6">http://dx.doi.org/10.1007/978-3-540-68136-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>