Открытый каталог публикаций OpenAlex 428 документов

• Combinatorial Algorithms
  авторы: Veli Mäkinen; Simon J. Puglisi; Leena Salmela год: 2016 источник: Lecture notes in computer science тип: книга
  Полный текстПодробнее
• Advances in Cryptology – CRYPTO 2011
  автор: Phillip Rogaway год: 2011 источник: Lecture notes in computer science тип: книга
  Страница публикацииПодробнее
• Fast Escape Analysis and Stack Allocation for Object-Based Programs
  авторы: David Gay; Bjarne Steensgaard год: 2000 источник: Lecture notes in computer science тип: глава из книги
  Страница публикацииПодробнее
• Automated Verification of Selected Equivalences for Security Protocols
  авторы: Bruno Blanchet; M. Abadi; Cédric Fournet год: 2006 тип: статья
  Страница публикацииПодробнее
• Efficient Anonymous Password-Authenticated Key Exchange Protocol to Read Isolated Smart Meters by Utilization of Extended Chebyshev Chaotic Maps
  авторы: Dariush Abbasinezhad‐Mood; Morteza Nikooghadam год: 2018 источник: IEEE Transactions on Industrial Informatics тип: статья из журнала
  Страница публикацииПодробнее
• Computer Aided Verification
  авторы: Ahmed Bouajjani; Oded Maler год: 2009 источник: Lecture notes in computer science тип: книга
  Страница публикацииПодробнее
• WSEmail: secure Internet messaging based on Web services
  авторы: Kevin D. Lux; Michael J. May; N.L. Bhattad и др. год: 2005 тип: статья
  Страница публикацииПодробнее
• Cryptographically verified implementations for TLS
  авторы: Karthikeyan Bhargavan; Cédric Fournet; Ricardo Corin и др. год: 2008 тип: статья
  Страница публикацииПодробнее
• TulaFale: A Security Tool for Web Services
  авторы: Karthikeyan Bhargavan; Cédric Fournet; Andrew D. Gordon и др. год: 2004 источник: Lecture notes in computer science тип: глава из книги
  Полный текстПодробнее
• Cryptanalysis and security enhancement of a robust two‐factor authentication and key agreement protocol
  авторы: Qi Xie; Na Dong; Duncan S. Wong и др. год: 2014 источник: International Journal of Communication Systems тип: статья из журнала
  Страница публикацииПодробнее
• Automated Deduction – CADE-20
  автор: Robert Nieuwenhuis год: 2005 источник: Lecture notes in computer science тип: книга
  Страница публикацииПодробнее
• A Comparative Analysis of Tools for Verification of Security Protocols
  авторы: Nitish Dalal; Jenny Shah; Khushboo Hisaria и др. год: 2010 источник: International Journal of Communications Network and System Sciences тип: статья из журнала
  Полный текстПодробнее
• Dimensions of creativity
  год: 1995 источник: Computers & Mathematics with Applications тип: статья из журнала
  Страница публикацииПодробнее
• Verifying policy-based security for web services
  авторы: Karthikeyan Bhargavan; Cédric Fournet; Andrew D. Gordon год: 2004 тип: статья
  Страница публикацииПодробнее
• A formal security proof for the ZRTP Protocol
  авторы: Riccardo Bresciani; Andrew Butterfield год: 2009 тип: статья
  Полный текстПодробнее