N
news
Guest
Virtualisation firm OK Labs claims it will offer "provably correct code and methodology", for mobile phones: "By mathematically proving the correctness of underlying kernel functioning, we have paved the way for validating and deploying mobile virtualisation under certification and security regimes like Common Criteria."
Read more...
Read more...