Программно-аппаратный комплекс Aladdin (JC000) USB-токен JaCarta PKI (nano)