SKY-net

Австралийские ученые нашли способ формального доказательства отсутствия ошибок в ядре операционной системы. Согласно их заявлению, это первый случай, когда удалось математически строго показать корректность ядра для операционных систем общего назначения – ранее подобные проверки осуществлялись только для небольших ядер, пригодных только для теоретических исследований.

Ядро seL4 (secure embedded L4), которое первым прошло формальную проверку защищенности, создано в австралийской частной исследовательской организации NICTA. В разработке ядра, состоящего из 7500 строк на языке C, и методов доказательства его корректности также приняли участие сотрудники университета Нового Южного Уэльса (Австралия). Вдобавок к этому, сама методика проверки корректной работы ядра основана на технологии Isabelle, которую Лоуренс Полсон (Lawrence Paulson), профессор вычислительной логики из Кембриджского университета (Великобритания), разработал для проверки корректности программ общего назначения.

Читать полностью о : Австралийские ученые создали микроядро с формально подтвержденным уровнем защиты »

Во время прошлогодней войны между Россией и Грузией русские хакеры занимались кражей идентификационных данных американцев и программных средств США, используя их в кибератаках на грузинские правительственные вебсайты. Эта информация содержится в материалах исследования американской некоммерческой организации, которые будут опубликованы в понедельник.

Хакеры превратили обычные программы компании Microsoft в кибероружие, а также наладили взаимодействие на популярных сайтах базирующихся в США социальных сетей, таких как Twitter и Facebook, чтобы координировать атаки на грузинские сайты. Эти обстоятельства выяснила организация под названием U.S. Cyber Consequences Unit (USCCU), которая занимается анализом последствий кибернападений.

Читать полностью о : Хакеры похитили идентификационные данные для осуществления кибератак на Грузию »

Американец Джеймс Дэниел по праву может  считаться самым невезучим из всех известных науке педофилов. Дэниел совместно с сотрудниками полиции невольно разыграл самую настоящую комедию, последний акт которой состоялся на днях при оглашении вердикта апелляционного суда.

История педофила-неудачника началась ровно три года назад, когда Дэниел решил пристать в интернет-чате к некой девочке по имени Amanda_13. Педофил сумел уговорить свою жертву на встречу в реале — в парке города Вальпараисо, штат Индиана.

Читать полностью о : Педофил общался онлайн сразу с тремя полицейскими »

Прокуратура Челябинской области объявила результаты проверки точек продаж мультимедийной продукции на предмет выявления компьютерных игр, которые могут травмировать психику несовершеннолетних. Сюда прокуратура относит игры, которые «провоцируют ребенка на агрессивные действия, вызывают у него проявление жестокости по отношению к персонажам игры; воспроизводят игровые сюжеты, связанные с безнравственностью и насилием».

Диски с компьютерными играми, неподходящими, по мнению Челябинской прокуратуры, для детей, были изъяты из продажи. В отношении их продавцов возбуждены дела об административном правонарушении, материалы направлены для рассмотрения в органы Роспотребнадзора по Челябинской области. «Неправильные» игры были обнаружены в Курчатовском, Тракторозаводском, Металлургическом районах Челябинска, а также в Златоусте, Коркино, Кыштыме, Пласте, Снежинске и других городах и районах области.

Читать полностью о : Прокуратура спасает детей от жестоких компьютерных игр »

Администрация президента США поддержала судебный вердикт, касающийся жительницы Миннесоты Джемми Томас, признанной виновной в нарушении авторских прав на музыкальные произведения.

Напомним, что Джемми Томас, многодетная мать, стала первой из 26 тысяч человек, обвиняемых RIAA в пиратстве, чье дело дошло до суда. В 2007 году присяжные признали Томас виновной в нарушении прав на 24 музыкальных произведения и наложили на нее штраф в размере $222 тыс.

Затем  адвокаты Томас добились пересмотра дела, однако штраф не только не был отменен, но и, напротив, увеличен практически на порядок. Теперь Джемми Томас обязана выплатить владельцам копирайта $1,92 млн (из расчета $80 тыс. за композицию).

Читать полностью о : Администрация Обамы поддержала решение суда в отношении Томас »

Корейская корпорация LG выпустила нетбук X130, оснащенный девятиячеечной батареей и способный работать до 12 часов подряд без подзарядки, пишет Engadget со ссылкой на Trusted Reviews.

Конфигурация устройства стандартна - 10-дюймовый экран с разрешением 1024 на 600 пикселей, процессор Intel Atom N270, гигабайт памяти и жесткий диск емкостью 160 гигабайт.

Читать полностью о : LG заставила нетбук проработать полдня без подзарядки »

Коммерческие сети LTE появятся в России не раньше 2012-2014 гг. Об этом говорится в докладе аналитической компании J'son & Partners Consulting.

Согласно отчету, до этого времени в стране будут развиваться проекты мобильной верcии WiMAX, которая имеет временное преимущество по сравнению с LTE, и сети 3G, включая HSPA+. В настоящее время в России не определены рабочие полосы радиочастот, порядок лицензирования и межсетевого взаимодействия, отсутствует стратегия перехода к сетям LTE. Другими словами, в стране отсутствуют предпосылки для быстрого /в течение ближайших 1-2 лет/ развертывания сетей LTE.

Читать полностью о : Коммерческие сети LTE появятся в России не раньше 2012-2014 гг - аналитики »

Те, кто следит за развитием событий в мире графических ускорителей, наверняка обратили внимание на то, что практически все последние новости о будущих видеокартах касаются DX11-решений AMD. Nvidia в последние недели хранила таинственное молчание, дающее повод для многочисленных догадок и слухов. Немного разрядить обстановку взялся ресурс Fudzilla.Согласно сообщению американского сайта, в недрах Nvidia уже сейчас идёт работа над двухчиповым решением на базе двух кристаллов GT300. По всем признакам, калифорнийская компания, равно как и их коллеги-конкуренты из AMD, в этот раз не собирается делать большого перерыва перед анонсом многочипового флагмана, как это было в случае с линейкой GeForce GTX 2xx.

Читать полностью о : Nvidia работает над новой двухчиповой видеокартой »

Как сообщают наши коллеги с сайта Fudzilla, материнские платы на основе новейшего чипсета Intel P55 уже поступили в продажу в Европе. Например, в Германии можно найти «материнку» P55-GD65 от компании MSI по цене €144.MSI P55-GD65

Читать полностью о : Материнские платы на чипсете Intel P55 уже доступны в Европе »

В последнее время создается впечатление, что производители ультрапортативных мобильных компьютеров забыли про самых маленьких представителей этого семейства систем, с размером экрана 7". Чтобы восполнить этот пробел, компания Suzuki Technology анонсировала свой 7,1-дюймовый нетбук под названием Neutron 701 MNI. Новинка отличается от подобных ей устройств поворотным дисплеем, что несколько расширит ее возможности в сравнении с представленными ранее «малышами».

Читать полностью о : Neutron 701 MNI - нетбук с поворотным дисплеем от Suzuki »

В Сеть выложили фотографию южного полюса Луны, сделанную 24 мая 1967 года. Снимок был получен аппаратом "Лунар Орбитер IV" (Lunar Orbiter IV). Фотографию в высоком разрешении можно увидеть здесь. Описание снимка доступно на сайте Moon Views.

В момент съемки аппарат находился на высоте 3592 километров над поверхностью Луны. Пространственное разрешение снимка составляет 78,43 метра. Помимо собственно южного полюса земного спутника (затененная область) на фотографии запечатлены шесть кратеров. Все они обозначены на иллюстрации к этой новости.

Читать полностью о : В Сеть выложили полученное в 1967 году фото южного полюса Луны »

IBM приступила к практическим экспериментам с молекулами ДНК, изучая их способность к самоорганизации. Исследователи пытаются преодолеть физические ограничения технологии фотолитографии, применяемой сегодня для производства интегральных микросхем. Идея использовать для этого молекулы ДНК была предложена специалистами IBM в феврале 2008 года.

Новая технология основана на исследованиях Пола Ротмунда, ученого из Калифорнийского технологического института. Несколько лет назад он обнаружил, что молекулы ДНК можно заставить складываться в простые геометрические формы - треугольники, квадраты и звезды. Ученый называет эти фигуры "оригами из ДНК".

Читать полностью о : IBM начала эксперименты с микросхемами на молекулах ДНК »