Well, there is are two anti-theft feature built in.
1. Data encryption : when you flash a new ROM the encrypted keys are no longer valid and you need to format data. No protection against device theft but rather for your data
2. As long as the phone is registered to you MIUI-Account you need...