DoD has a very effective PKI system using smart-cards deployed, so I wouldn't be as surprised as you to see them develop a baseline of software for Android.

What I would be surprised about is whether it's usable without needing 7 different contractor apps installed, or less than 3 years behind the times.