„Security Protocol“

Suchergebnisse

780 Treffer

• Virtual private networks for mobile environments – development of protocol for mobile security and algorithms for location update
  Tzvetkov, Vesselin Dimitrov
• Union, intersection, and refinement types and reasoning about type disjointness for security protocol analysis
  Hritcu, Cătălin ; Backes, Michael 2012 Saarländische Universitäts- und Landesbibliothek
• Verification of Security Properties Using Formal Techniques
  Al-Shadly, Saleh ; Hogrefe, Dieter ; Fu, Xiaoming ; Grabowski, Jens ; Eckart, Modrow ; Rieck, Konrad ; Waack, Stephan 2014 Niedersächsische Staats- und Universitätsbibliothek Göttingen
• Public Key Cryptography – PKC 2011 – 14th International Conference on Practice and Theory in Public Key Cryptography, Taormina, Italy, March 6-9, 2011. Proceedings
  Catalano, Dario ; Fazio, Nelly ; Gennaro, Rosario ; Nicolosi, Antonio 2011 Springer Berlin Heidelberg
• Leveraging New Paradigms for Enhanced Mobile Network Security
  Sanobar 2024 tredition
• Security model design and formal verification of MQTT protocol
  Gao, Chengtai ; Xi, Xiaohui ; Zhang, Chunyan
• Quantum Protocols for Rabin Oblivious Transfer
  Andersson, Erika ; Bansal, Akshay ; Peat, James T. ; Sikora, Jamie ; Wu, Jiawei 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A security gateway for web service protocols
  Huang, Dong
• Cryptographically sound analysis of security protocols
  Backes, Michael
• Vierter Deutscher IPv6 Gipfel 2011
  Meinel, Christoph ; Sack, Harald 2012 Universität Potsdam
• Theory of Cryptography – 9th Theory of Cryptography Conference, TCC 2012, Taormina, Sicily, Italy, March 19-21, 2012. Proceedings
  Cramer, Ronald 2012 Springer International Publishing
• Security Protocols – 15th International Workshop, Brno, Czech Republic, April 18-20, 2007. Revised Selected Papers
  Christianson, Bruce ; Crispo, Bruno ; Malcolm, James A. ; Roe, Michael 2010 Springer Berlin Heidelberg
• Foundations and Applications of Security Analysis – Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers
  Degano, Pierpaolo 2009 Springer International Publishing
• Mobile and Wireless Technology 2015
  Kim, Kuinam J. ; Wattanapongsakorn, Naruemon 2015 Springer Berlin Heidelberg
• Ad-hoc Networks and Wireless – ADHOC-NOW 2014 International Workshops, ETSD, MARSS, MWaoN, SecAN, SSPA, and WiSARN, Benidorm, Spain, June 22--27, 2014, Revised Selected Papers
  Garcia Pineda, Miguel ; Lloret, Jaime ; Papavassiliou, Symeon ; Ruehrup, Stefan ; Westphall, Carlos B. 2015 Springer Berlin Heidelberg
• Trustworthy Global Computing – 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers
  Maffei, Matteo ; Tuosto, Emilio 2014 Springer Berlin Heidelberg
• Security Protocols XVIII – 18th International Workshop, Cambridge, UK, March 24-26, 2010, Revised Selected Papers
  Christianson, Bruce ; Malcolm, James 2014 Springer International Publishing
• Security in Computing and Communications – Second International Symposium, SSCC 2014, Delhi, India, September 24-27, 2014. Proceedings
  Lloret Mauri, Jaime ; Thampi, Sabu M. ; Rawat, Danda B. ; Jin, Di 2014 Springer Berlin Heidelberg
• Cryptography and Security Systems – Third International Conference, CSS 2014, Lublin, Poland, September 22-24, 2014. Proceedings
  Kotulski, Zbigniew ; Ksiezopolski, Bogdan ; Mazur, Katarzyna 2014 Springer Berlin Heidelberg
• Trustworthy Computing and Services – International Conference, ISCTCS 2013, Beijing, China, November 2013, Revised Selected Papers
  Yuan, Yuyu ; Wu, Xu ; Lu, Yueming 2014 Springer Berlin Heidelberg