Свързани публикации 'verification'


Проверка дали даден потребител притежава домейн с JavaScript
Проверка дали даден потребител притежава домейн с JavaScript Техниката, която използваме, е тази, използвана от Google, Microsoft и други, за да проверят дали имате някакви права върху домейн. Така че, макар да не е безпогрешно, поне сме в добра компания! Кодът в тази статия е TypeScript, но същият метод ще работи на повечето езици. Преглед Всички методи за проверка, които съм виждал за тях, разчитат на това, че потребителят може да модифицира сайта по някакъв начин - което има..

Пейзажът на инструментите за сигурност на интелигентния договор Solidity през 2020 г
Ние в Kleros приемаме много сериозно сигурността на интелигентните договори. Навремето нямаше много автоматизирани инструменти, които да ви помогнат да откриете уязвимостите във вашите интелигентни договори. Разработихме обширен „вътрешен процес“ и можем с гордост да кажем, че договорите на Kleros никога не са имали уязвимост в производството. Наскоро инструменталната екосистема около сигурността на интелигентните договори се разви достатъчно, за да проявим интерес към въвеждането..

Свързани въпроси 'verification'

Java, изпрати имейл: проверете дали в имейл адреса е предоставен валиден хост
Нашият уебсайт изпраща имейли до имейл адреса, който потребителят въвежда на нашия уебсайт. Някои хора въвеждат ненужни имейл адреси. Как можем да разберем дали поне хостът на въведения адрес е валиден? Просто се опитвате да отворите сокет на порт...
474 изгледи
schedule 02.12.2022

Проверете дали мултимножеството е обединение на сумата на подмножеството на друго мултимножество
Искам да измисля алгоритъм, за да проверя дали мултимножеството е обединение на сумата от подмножество на друго мултимножество, но не успях, след като се борих няколко часа сам. Подробностите са както следва: Мултимножество A: Набор от...
641 изгледи
schedule 30.11.2022

Проверка на изпълнението на IPv6
Моят екип за разработка се стреми да внедри IPv6 на вградена платформа. Един от основните проблеми, с които се сблъскваме на този етап, е създаването на нашата тестова среда. В момента единственият пакет за проверка, който открихме, е този, създаден...
146 изгледи
schedule 26.11.2023

Решаватели на SMT за бит-векторна аритметика
Планирам някои експерименти в символно изпълнение на C код, като използвам готов SMT решаващ инструмент и се чудя кой решаващ инструмент да използвам; гледайки напр. участниците в конкурса за SMT и като се вземат само системите с отворен код, се...
1108 изгледи
schedule 09.12.2023

specman и цикъл на макроси
опитвам се да напиша макрос (неизчислен), който дефинира екземпляри с цикъл, например, ако беше изчислен макрос, щеше да е: define <def_struct'statement> "def_struct <str_name'name> <number'num> to <other'name>" as computed...
946 изгледи
schedule 28.12.2023

Java - възможно ли е да се провери конкретен твърдо кодиран самоподписан сертификат чрез пръстов отпечатък и да се игнорират съвпадения на имена на хостове?
Това е продължение на този въпрос (реших да го направя отделен само в случай, че някой в ​​бъдеще ще търси подобен проблем) По принцип настройката е комуникация между аплет и сървлет. Сертификатът на Servlet е самоподписан и твърдо кодиран в...
520 изгледи
schedule 08.01.2024

Регулярен израз за анализиране на файлове във формат sfv
Опитвам се да напиша регулярен израз за анализ на sfv файл в python. По принцип линиите са от формата име на файл crc_bytes но белите интервали могат да се добавят навсякъде, включително името на файла. така че реалният формат е (бели...
365 изгледи
schedule 21.01.2024

Проверката на имейл адреса показва грешните адреси като правилни
Имам въпрос относно проверката на имейл в (Visual) C#. Търсих в мрежата и намерих няколко метода за това. напр. тук: Проверка на имейл адреса в C# C# код за валидиране на имейл адрес Странно и двете изглежда пропускат имейли като...
107 изгледи
schedule 08.11.2023

Как да верифицирам имейл по време на регистрация?
Разработвам уебсайт с използване на struts2 и хибернация като заден край. В много сайтове, след като се регистрирате, на вашия имейл ще бъде изпратена връзка и след като щракнете върху нея, регистрацията е завършена. Искам тази функция на моя уеб...
2350 изгледи

C# проверка на файлов сертификат
Искам да проверя файловия сертификат. Подписът се генерираше с помощта на sha1 и RSA. Когато щракнете с десния бутон върху файла, изберете свойства, цифрови подписи, подробности, виждам следното: Имам C++ код, който проверява такъв подпис,...
2687 изгледи

Какво причинява таймаут в Promela/SPIN?
Имам следния код на promela: chan level = [0] of {int}; proctype Sensor (chan levelChan) { int x; do :: true -> levelChan ? x; if :: (x < 2) -> printf("low %d", x); :: (x >...
1513 изгледи
schedule 03.05.2024

Как да проверя, че адресът на изпращача на имейл не е подправен? [затворено]
Според този въпрос По-рано попитах в Google App Engine, ако имам достъп до цялата информация в стандартен имейл, не само до полетата From , To , Subject , Body , но и до всички заглавки и MIME информация, как мога да проверя, че два входящи...
11404 изгледи