Иновация Oz Style: Вземете водещо в света защитено ядро ​​и го изхвърлете до бордюра

Шефът на CSIRO д-р Лари Маршал се опитва да обясни фундаменталната наука на сенатор, който отрича науката за климата

Изображение: APH

Както при много неща, времето е всичко и в седмиците след като се разнесе слухът, че данните на Организацията за научни и индустриални изследвания на Австралия (CSIRO) на Австралия подписват своите сигурни микроядрени изследвания, светът на кибер атаките се проявява в реалния свят по нови начини.

От петролопроводите, до месокомбината, до по-традиционната фишинг кампания, подкрепена от Русия, кибердиалът се появи и честотата на атаките, особено в пространството за рансъмуер, достигна нива, подобни на потоп.

И все пак, макар че потокът от зловреден софтуер далеч не е неочакван, хората се редят на опашки с опаковки и биейки се помежду си защото някой може да е щракнал на измамен имейл със сигурност е така.

Необходимостта от разработване на по-добра основа и по-сигурни начини за изчисляване изглежда по-необходима от всякога – но не и в CSIRO, където изкуственият интелект е от дневен ред.

„Смятаме, че Австралия се нуждае от изкуствен интелект за индустрия 4.0, за нашата суверенна способност, за дигитално земеделие и за справяне с опасностите за околната среда“, заяви в четвъртък вечерта изпълнителният директор на CSIRO д-р Лари Маршал.

„Наистина поставяме дигиталното в основата на устойчивостта и възстановяването на Австралия, докато изграждаме обратно.“

Според Маршал един от проблемите с микроядрото seL4 и екипът на Trustworthy Systems, който го е разработил, е, че уж не предоставя достатъчно “национална полза”.

„Така че е трудно да се види възможност за изграждане на индустрия в Австралия или за извличане на национална полза от тази технология, а като приоритети са изкуственият интелект, ние избрахме да го следваме и да насочим ресурсите си там, където смятахме, че можем да постигнем по-голяма национална полза , “Каза Маршал.

“Предизвикателството с тази технология … тя е много зряла и е с отворен код.”

По време на изслушването Маршал размаха статии, изброяващи високия ранг на CSIRO сред световните изследователски организации, но seL4 по същия начин се счита за първокласно изследване. Човек трябва да извърви дълъг път, за да намери математически доказано сигурно ядро.

„Това е пример за политика на Aus, пряко водеща до подкопаване на австралийската киберсигурност“, изследователят по сигурността Ванеса Тиг казах в отговор на решението на CSIRO.

„Трудно е да се измислят по-добри водещи световни изследвания на Aus за киберсигурност, отколкото [seL4 Foundation]. ”

Председателят на фондация seL4 Гернот Хайзер опроверга твърденията на CSIRO, че seL4 е зряла технология в блог пост.

„Групата неслучайно е наречена„ Надеждни системи “(а не, да речем,„ seL4 Research Group “). SeL4 е само отправна точка за постигане на надеждност в компютърните системи. Сякаш преди повече от 100 години хората са казвали, че двигателите с вътрешно горене са разрешен проблем, след като беше показано, че те могат да задвижват кола “, пише той.

“Факт е, че макар seL4 да е достатъчно зрял, за да бъде внедрен в реалния свят, остана много фундаментална изследователска работа върху самия seL4 и има много повече изследвания за това как да се постигнат надеждни компютърни системи в реалния свят. Не е това само поръсването на малко прах от феята seL4 върху една система ще я направи надеждна. ”

Хайзер определи работата, която трябва да се извърши по времева изолация на процесите, особено върху системи, при които критичните натоварвания в реално време се изпълняват едновременно, но добави, че изследването е под заплаха, тъй като CSIRO е върнал малко пари от американските ВВС .

Университетът на Нов Южен Уелс подкрепя Trustworthy Systems до края на 2021 г., като Хайзер заявява, че дава малко място за дишане, за да „подреди още пътища“.

През последните години в Австралия се настоява за комерсиализиране на научните изследвания в страната и това изглежда е скалата, на която Trustworthy Systems се спъна.

„За съжаление тази технология беше лицензирана [to Qualcomm] срещу еднократна такса “, каза Маршал.” И когато казвам за съжаление, тази технология е преминала през два милиарда мобилни устройства, но за съжаление, няма текущо споразумение за роялти с тази сделка, сключено по това време. ”

Имайте предвид, че CSIRO обича плащанията на роялти и ще съди, за да гарантира, че ще се намали. Организацията хвали се той получи 430 милиона австралийски долара в селища чрез своите Wi-Fi патенти. Природата с отворен код на seL4 не се поддава на този тип резултати.

Маршал каза, че би било чудесно, ако дадена компания се върти около работата и ако може да измисли как да печели пари.

“Нашето заключение беше, че това всъщност не е осъществимо в Австралия, поради което решихме да прекратим работата”, каза той.

Като се има предвид сегашната среда, където са австралийските политици обаждане относно ASD да използва класифицираните си правомощия, за да взриви групите за изкупване и кой знае какъв би бил политическият отговор от Москва, Пхенян и Пекин на това; местните правоохранителни органи продължават да говорят тъпи неща за криптирането; и стратегическите съперници на Австралия използват настоящите слабости, за да бъдат откровено ужасни за части от тяхното население, би било полезно малко проучване на защитната страна на изчисленията.

Ядрото seL4 скоро няма да захранва никой десктоп или сървър в близост до вас, но може да помогне по някакъв начин устройствата на IoT да изглеждат по-малко като швейцарско сирене за лошите участници. Може дори да се окаже в основата на системите на CSIRO за „изкуствен интелект за индустрия 4.0“ – каквито и да са те – или да помогне за информирането на новите ОС, които се разработват.

В най-лошия случай за CSIRO, където той запази seL4, но не даде реки злато, той все още може да даде тласък на изследванията в жизненоважни области на киберсигурността, да увеличи репутацията на Австралия в научните изследвания и да покаже, че нацията не е напълно пълна с кибер невежа. Но уви, светът на защитените ядра не е толкова секси и благоприятен, колкото натоварената с модни думи AI сфера, и Trustworthy Systems е принуден да премине от национална изследователска организация, която е била обект на съкращения на финансирането, в университетски сектор, който е видял далеч по-драстични съкращения.

За наша национална полза, надяваме се, че предстоящото изследване на AI ще даде повече от по-добър чат бот.

ПОНЕДЕЛНИЧКАТА ОТКРИВАЧКА НА ПОНЕДЕЛНИК НА ZDNET

Утрото за отваряне в понеделник е нашият начален залп за седмицата в областта на технологиите. Тъй като имаме глобален сайт, този редактор публикува в понеделник в 8:00 ч. AEST в Сидни, Австралия, което е 18:00 ч. Източно време в неделя в САЩ. Той е написан от член на глобалната редакционна колегия на ZDNet, която се състои от нашите водещи редактори в Азия, Австралия, Европа и Северна Америка.

ПРЕДИШНО В ПОНЕДЕЛНИК УТРИ ОТВОРИТЕЛ:



Публикациите се превеждат автоматично с google translate

Източник: www.zdnet.com