Софт-line:
FSS Google Books Downloader 1.9.0.6 -- "FSS Google Books Downloader - безкоштовна і проста у використанні ..." -- 19 червня 2018
Agisoft PhotoScan 1.4.1 -- "Agisoft PhotoScan - потужний графічний інструмент для створення ..." -- 19 червня 2018
TrueConf Server 4.3.7 -- "TrueConf Server - універсальний програмний сервер ..." -- 19 червня 2018
KoolMoves 9.8.2 -- "KoolMoves - програма для створення web-анімації з використанням ..." -- 19 червня 2018
Q-Dir 7.06 -- "Q-Dir - файловий менеджер з оригінальним четырехпанельным інтерфейсом ..." -- 19 червня 2018
Калькулятор вібрації 1.0 -- "Калькулятор вібрації - програма, яка дозволяє швидко здійснити ..." -- 18 червня 2018
VK Notification 1.6 -- "VK Notification - відмінне додаток для всіх користувачів популярної ..." -- 18 червня 2018
AnimaShooter Capture 3.8.5.32 -- "AnimaShooter Capture - професійна програма для покадрової зйомки ..." -- 18 червня 2018
Directory Opus 12.9 -- "Directory Opus - досить потужний і зручний у використанні файловий ..." -- 18 червня 2018
VentaFax Private 7.9.255.613 -- "VentaFax - програма для прийому і передачі голосових і факсимільних ..." -- 18 червня 2018


Компанія Fujitsu анонсувала створення технології, здатної виявляти уразливості в блокчейн-системах. Вона підвищує безпеку платформ і полегшує роботу програмістів.

Мова йде про алгоритм, що виключає ризик того, що хтось скористається мовними специфікаціями платформи Ethereum для фальсифікації походження виклику транзакції. За рахунок цього блокується можливість помилкового віртуального виконання транзакцій за допомогою технології символьного виконання.

Розробка японського виробника визначає, до якої частини вихідного коду відноситься виявлена уразливість смарт-контракту. Вона дозволяє здійснювати символьне виконання допомогою видалення невикористовуваних команд.

У Fujitsu стверджують, що нова технологія здатна підвищити ефективність розробки нових типів смарт-контрактів. Спільно з функцією виявлення розташування ризиків вона буде сприяти зменшенню об'єму робіт по аналізу специфікації, оцінки та виправлення коду.

Fujitsu не має наміру обмежуватися платформою Ethereum при розробці технологій перевірки надійності смарт-контрактів. Також компанія збирається застосувати алгоритм у проектах Hyperledger Fabric і Hyperledger, що реалізуються некомерційним консорціумом Linux Foundation.

Головне на ПК-манія

«Дірки» в комутаторах Phoenix Contact ставлять під загрозу промислові мережі

Російські фахівці з компанії Positive Technologies виявили нові уразливості в промислових ...

Новини інтернету 2018-06-19 14:17:00

«Техносерв» запустив хмара для організації відеоспостереження

«Техносерв» запустив хмарний сервіс відеоспостереження, забезпечує віддалений контроль і безпеку ...

Software новини 2018-06-19 14:14:10

Представлений домашній роутер Xiaomi Router 4Q

І так вже широкий асортимент продуктів Xiaomi поповнив новий бюджетний роутер Xiaomi Router ...

IT новини 2018-06-19 14:01:41

Відео дня

Живі додатки

Управління бізнесом

Розрахунок дощових вод 1.0

Розрахунок дощових вод - програма, яка призначена для розрахунку витрати дощових вод по СНиП2.04.03-85 "Каналізація. Зовнішні

Мультимедіа

Soft4Boost Any Audio Grabber 6.3.1.559

Soft4Boost Any Audio Grabber - проста у використанні утиліта, яка дозволяє копіювати аудіо-треки з CD/DVD -дисків,

  • Prev
  • software
Scroll to top