Публикации по теме 'verification'
Проверка, владеет ли пользователь доменом с помощью JavaScript
Проверка, владеет ли пользователь доменом с помощью JavaScript
Мы используем тот же метод, который используется Google, Microsoft и другими для проверки ваших полномочий в отношении домена. Так что, хотя это и небезопасно, по крайней мере, мы в хорошей компании!
Код в этой статье - TypeScript, но тот же метод будет работать на большинстве языков.
Обзор
Все методы проверки, которые я видел для них, полагаются на то, что пользователь может каким-либо образом изменить сайт - что..
Пейзаж инструментов безопасности смарт-контрактов Solidity в 2020 году
В Kleros мы очень серьезно относимся к безопасности смарт-контрактов. Раньше было не так много автоматических инструментов, которые помогли бы выявлять уязвимости в ваших смарт-контрактах. Мы разработали обширный внутренний процесс , и мы с гордостью можем сказать, что контракты Kleros никогда не имели уязвимостей в производстве.
В последнее время экосистема инструментов для защиты смарт-контрактов достаточно развита, чтобы мы проявили интерес к внедрению некоторых инструментов в..
Вопросы по теме 'verification'
Как проверить, что адрес отправителя электронной почты не подделан?
В соответствии с этот вопрос Ранее я спрашивал в Google App Engine, если у меня есть доступ ко всей информации в стандартном электронном письме, а не только к полям From , To , Subject , Body , но также ко всем заголовкам и информации MIME, как...
11404 просмотров
schedule
22.05.2024
Java, отправить по электронной почте: проверьте, указан ли действительный хост в адресе электронной почты
Наш веб-сайт отправляет электронные письма на адрес электронной почты, который пользователь вводит на нашем веб-сайте. Некоторые люди вводят мусорные адреса электронной почты. Как мы можем узнать, является ли хотя бы хост введенного адреса...
474 просмотров
schedule
02.12.2022
SMT-решатели для бит-векторной арифметики
Я планирую несколько экспериментов по символьному выполнению кода C, используя готовый SMT-решатель, и мне интересно, какой решатель использовать; глядя на например. участники конкурса SMT и, принимая только системы с открытым исходным кодом, сужают...
1108 просмотров
schedule
09.12.2023
спецман и цикл макросов
я пытаюсь написать макрос (не вычисляемый), который определяет экземпляры с циклом, например, если бы это был вычисляемый макрос, это было бы:
define <def_struct'statement> "def_struct <str_name'name> <number'num> to...
946 просмотров
schedule
28.12.2023
Проверка реализации IPv6
Моя команда разработчиков хочет реализовать IPv6 на встроенной платформе. Одной из основных проблем, с которыми мы сталкиваемся на данном этапе, является создание нашей тестовой среды. В настоящее время единственный набор для проверки, который мы...
146 просмотров
schedule
26.11.2023
Как подтвердить электронную почту при регистрации?
Я разрабатываю веб-сайт с использованием struts2 и hibernate в качестве серверной части. На многих сайтах после регистрации на вашу электронную почту будет отправлена ссылка, и после нажатия на нее регистрация будет завершена. Я хочу, чтобы эта...
2350 просмотров
schedule
16.03.2024
Java - можно ли проверить конкретный жестко запрограммированный самозаверяющий сертификат по отпечатку пальца и игнорировать совпадения имени хоста?
Это продолжение этого вопроса (решил сделать его отдельным на всякий случай, если кто-то в будущем будет искать подобную проблему)
По сути, установка представляет собой взаимодействие апплета и сервлета.
Сертификат сервлета является...
520 просмотров
schedule
08.01.2024
Проверьте, является ли мультимножество объединением суммы подмножества другого мультимножества
Я хочу разработать алгоритм для проверки того, является ли мультимножество объединением суммы подмножества другого мультимножества, но я потерпел неудачу после нескольких часов самостоятельной борьбы.
Детали следующие:
Мультимножество A:...
641 просмотров
schedule
30.11.2022
Регулярное выражение для разбора файлов формата sfv
Я пытаюсь написать регулярное выражение для анализа файла sfv в python. В основном строки имеют формат
имя файла crc_bytes
но пробелы могут быть добавлены повсюду, включая имя файла. так что настоящий формат
(пробелы) имя файла (пробелы)...
365 просмотров
schedule
21.01.2024
Что вызывает тайм-аут в Promela/SPIN?
У меня есть следующий промел-код:
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
C # проверка сертификата файла
Я хочу проверить сертификат файла. Подпись генерировалась с использованием sha1 и RSA. Щелкнув файл правой кнопкой мыши, выбрав Свойства, Цифровые подписи, Подробности, я вижу следующее:
У меня есть код C ++, который проверяет такую...
2687 просмотров
schedule
28.03.2024
Проверка адреса электронной почты показывает неправильные адреса как правильные
У меня есть вопрос относительно проверки электронной почты в (Visual) C#.
Я искал в Интернете и нашел несколько способов сделать это. Например. здесь:
Проверка адреса электронной почты C#
код C# для проверки адреса электронной почты...
107 просмотров
schedule
08.11.2023
Dafny: повернутая область проверки метода массива
это доказательство дает бесконечный цикл в верификаторе Дафниса:
// Status: verifier infinite loop
// rotates a region of the array by one place forward
method displace(arr: array<int>, start: nat, len: nat) returns (r: array<int>)...
343 просмотров
schedule
15.03.2024
Specman - ошибка при подключении монитора к табло
Я использую e (specman) в своем проекте. Я создаю среду проверки для uart. У меня есть структура, похожая на any_sequence_item с именем uart_frame_s.
Я хочу добавить табло для tx в uart. У меня есть следующий экземпляр в uart_tx_agent :...
113 просмотров
schedule
09.12.2023
Specman - BFM создается, хотя и не должен
У меня есть BFM в моем tx-агенте (без драйвера последовательности).
extend uart_tx_agent_u{
uart_tx_monitor : TX uart_monitor_u is instance;
uart_tx_scb: uart_tx_scoreboard_u is instance;
when ACTIVE uart_tx_agent_u {
uart_bfm :...
128 просмотров
schedule
12.06.2024
Простая базовая проблема проверки в uppal
Я борюсь с простой проверкой. У меня есть автоматы и значение x следующим образом:
automata2
Когда x в начале отличен от 0, выполняется E‹> x !=0, но когда x = 0, то оно не выполняется, и выполняются E‹> x == 0 и A‹> x == 0. Но я хотел бы...
94 просмотров
schedule
23.01.2024
Specman: как ограничить список всеми итерациями переменной, но не только?
Я определил следующую структуру:
struct my_struct {
var_a : bit;
var_b : bit;
};
В другой структуре я создал список этой структуры:
struct another_struct {
my_list : list of my_struct;
list_size : uint;
keep list_size...
68 просмотров
schedule
20.11.2023
Как понять, какой SystemVerilog поддерживается компилятором Cadence XMVLOG?
Мне нужно перенести среду моделирования SV с Questa на Xcelium 20.9. У меня проблемы с компиляцией файлов с помощью xmvlog , тогда как с vlog проблем нет.
Итак, вот что я сделал.
Убедитесь, что цепочка инструментов установлена правильно:...
143 просмотров
schedule
19.03.2024