I'm not sure I understand what you want, but there is a line of chips called MifareProx that are basically 8051core + Mifare antenna (and related crypto processor(s))
We (Raisonance) do the development tools for them (others as well, I guess), you can check at http://www.raisonance.com/products/smart_cards.php
All the details on the chip itself are on Philips website.

Regards,

Luca