Компания Microsoft разработала еще одну операционную систему под названием Microsoft Verve. Фактически, данный проект вырос из ОС Singularity и ОС Midori, с которыми обычные пользователи незнакомы. Потому что все три операционных системы созданы в рамках проекта создания программ, в которых функционирование вирусов было бы невозможно в принципе, поскольку они написаны на управляемом коде. Как сообщает Softpedia, Microsoft Verve создана с использованием ассемблера (TAL, Typed Assembly Language, по сути нативный од с метаданными, обеспечивающими самопроверку) в рамках хоаровской логики (Hoare logic, формальной системы правил, предназначенных для доказательства корректности созданного кода). В результате любая программа или сама ОС еще до исполнения кода может проверить его на многие виды ошибок, а также провести различные процедуры проверки по вопросам безопасности. По существу, все инструкции любого программное обеспечения, работающего на базе платформы Microsoft Verve, проверяются перед исполнением, что сделано впервые в рамках целой ОС. 10.12.2010 08:18 http://www.ria.ru/9/20645
Чем-то напоминает давнюю новость про Intel'а, который хотел подойти к проблеме вирусов радикально - создать "белый список" одобренных приложений. Нет гарантий, что этим не будут злоупотреблять, ущемляя права пользователей на запуск приложений.
Несчастные, нечайно так раскрыли, пиар никак не подразумевался :> Естественно, нет ничего крепкого и вечного, всегда найдутся умельцы обойти или найти способы обойти что-либо..
кернел.CS это ядро написанное на С#, как и вся система в целом. За счет этого и осуществляются всякие перепроверки, короче по сути как и в обычных .NET программах. Система вполне реальная, но вот использовать ее в бытовухе...
Я только не понял для кого они разрабатывают эту секретную OS. Вряд ли она будет пользоваться спросом среди обычных пользователей.
Согласен, тем более для общества они готовят уже Win8. В промышленных целях будет использоваться скорее всего.
Давайте разбираться... Объясните мне где черта, делящая проги на вирусы и не вирусы... прога1: читает файл паролей оперы например - ну если юзверь реально забыл пасс какойнить и ему пасмареть надо - это вот не вирус прога2: да также прога1 но там есть кнопка "отзыв", юзверь пишет "всем спасибо за прогу, нашёл пасс" прога этот отзыв отправляет себе на сервер - не вирус прога3: прога 1, но вместо отзыва отправляет файл паролей себе на сервер - вирус внимание вопрос Как так эта новая ОСь будет их различать? ============== Нет универсального средства для определения вирусов, разве что ИИ Не, можно конечно проверять сертификаты и не пускать левые проги, НО Тогда и не вирусы не запустишь И у мелкомягких такая ОСь уже есть - все помнют вирус для ядерных странций, или как их там назвать... Для вируса украли сертификаты откуда-то там и он нормально работал, вот такчо АТМТА эта ось и чем они там страдают