identification, 319
à la Fiat-Shamir, 208
inc_l, 30
INCDIGITS_L, 412
increment, 30
induction, complete, 5
information hiding, 257
integers, set of, 68
Internet, 319
inv_l, 179
invmon_l, 112
IPSec, 115
IPv, 115
iroot_l, 184
ISEVEN_L, 413
ISODD_L, 413
ISPRIME_L, 224, 414
Team-Fly |