في عام 1949، نشر عالم رياضيات أمريكي ورقة تثبت أن دفتر التشفير لمرة واحدة، نظام التشفير الذي تستخدمه محطة Atencion الكوبية، يوفر "الأمان النظري للمعلومات"، مما يعني أنه من المستحيل كسره بغض النظر عن قوة الحوسبة. سمِّ عالم الرياضيات والورقة، وشرح لماذا، على الرغم من هذا الإثبات، تم تعريض كل عملية تجسس كوبية رئيسية باستخدام النظام في النهاية.