20110530 home.science: 'Digital ant' army to make computers virus-proof