Есть новая книга Василенко "Теоретико-числовые методы в криптографии". Там есть и тесты на простоту и методы факторизации. Но книжка довольно суровая. Хотя лечге, чем Манин и Панчишкин вроде

Но это не введение в ТЧ - это именно приложения. Если Айрленд и Роузен будет слабоват (он сложнее Л.Я. Куликова, кстати), попробуйте Боревича-Шафаревича или максимум Вейля Теория чисел - там с алгебраическим уклоном. Но вроде сильного пересечения с абстрактной алгеброй нету.
