Philips CRYPTO1 Algorithm



My boss is thinking of using Mifare cards for a secure access system,
I'm meant to be looking into this. Mifare seems to use a proprietry
algorithm in it's Mifare cards called CRYPTO1. I can't find any specs
on this and was wondering if anyone had done any analysis of it to see
how secure it is.

Cheers

Paul

.