Package: krb5-kdc

"krb5-kdc" package binaries on Debian:

/usr/sbin/kdb5_util /usr/sbin/kpropd /usr/sbin/kproplog /usr/sbin/krb5kdc

You may install this package on Debian with apt-get install krb5-kdc