4 ms·
Australian-developed secure microkernel takes to the skies
- patchtopic 5y agohow does the "provably secure" operating system co-exist in a legislative environment in Australia where software products are required to have govt (and therefore anyone) accessible backdoors?
- ggm 5y agoThis is an oversimplification of what the law requires. It hadn't obligated code to provide the back-door it obligates certain classes of public access services. Your SSH and gpg code is safe on Australian mirror sites.
- ggm 5y agoThe CSIRO decision to deinvest was pathetically short-sighted and stupid.