Все вопросы: [verification]

35 вопросов

похожие теги: email-verificationformal-verification
21
голосов
6ответов
4471 просмотров

Hilbert System - Automate Proof

I'm trying to prove the statement ~(a->~b) => a in a Hilbert style system. Unfortunately it seems like it is impossible to come up with a general algorithm to find a proof, but I'm looking for a brute force type strategy. Any ideas on how to attack this are welcome.

20
голосов
2ответов
11510 просмотров

How to verify a mail has been sent when using Zend_Mail?

I am using the Zend framework to send mail. Once the config is done and the code written it all boils down to one call: $Mail->send($Transport) How can i check that this mail has been sent correctly? I read somewhere that Zend Mail throws an exception but other people have said this is some...

4
голосов
2ответов
423 просмотров

Shared Business Rules for c# and Java objects

I've got a system that has Java server side objects and C# client objects. The objects can be modified in both sides of the system and so have business rules attached to them. The thing is currently the business rules only live on the server side, and I really want to avoid having to contact th...

0
голосов
3ответов
1001 просмотров

Best way to Fingerprint and Verify html structure

I just want to know what is your opinion about how to fingerprint/verify html/links structure. The problem I want to solve is: fingerprint for example 10 different sites, html pages. And after some time I want to have possibility to verify them, so is, if site has been changed, links changed, ve...

7
голосов
5ответов
12173 просмотров

Creditcard verification with regex?

What is the right way to verify a credit card with a regex? If which one to use there are tons online. If not how to verify?

1
голосов
3ответов
179 просмотров

How to verify if an arg is a valid file name in Shell?

I need to verify if the args are valid file names, is this the right way to do it? It seems like I made some mistake inline 2, but I don't know where. for i in ${@}; do if [ -f ${i}]; then echo ${i} else continue fi done

0
голосов
2ответов
193 просмотров

Verifying file digests

Say I have 'n' number of files, for each of which I have CRC32, MD5 and SHA1 digests Now these 'n' number of files are actually split files/archives of single large file. When these smaller files are recombined/joined into the larger file, we can compute the digest of this larger file too. My ...

3
голосов
3ответов
498 просмотров

Server/Client Verification?

We're considering creating a program which sends a POST request to a server-side program for some processing. We'd like to consider some sort of verification to make sure the POST request isn't a random spammer attempting to overwhelm our system or something. I don't know too much about this st...

1
голосов
4ответов
105 просмотров

How do you get a customer to accept better practices and cross-platform debugging during development?

Our customer has a "No unnecessary code" policy. And the people they have assigned to my project think this includes: Diagnostic code Cross platform compatibility code "Software" faultcodes. ("Software doesn't break therefore these are unneeded.") Class methods that aren't used for THIS applic...

2
голосов
2ответов
1012 просмотров

How do I verify the host server's certificate in Silverlight?

I am concerned with MITM attacks in the Silverlight application I am writing. The site will be running over SSL. If my site is the victim of a MITM attack, as far as I know, my only defense right now is the warning page the browser displays when the site's certificate is untrusted. Since it is on...

1
голосов
1ответов
1368 просмотров

Is there an easy way to verify replication articles are correct?

On a Publication (secondarily, a Subscription), is there a script or command I can run that verifies that the articles currently in place match what is expected and/or correct? If changes were manually made to a replication database (i.e. a table's "MSMerge_ins_..." trigger is modified or delete...

0
голосов
2ответов
45 просмотров

How to verify external resources are available

How do you verify the state of the environment for a system without drastically increasing the scope of the system? I'm working on a system which talks to some remote servers. For example, it connects to a server and grabs logs of MyApp that ran on that server. These remote servers use a multitu...

2
голосов
2ответов
258 просмотров

Модульные тесты с макетами проверок

У меня есть модульный тест, создает макет вызывает мой метод для тестирования (также вводит мой макет) утверждает результаты метода проверяет фиктивные вызовы Когда фиктивные вызовы не проверяются должным образом, я получаю исключение, и тест не проходит. Как мне правильно называт...

85
голосов
11ответов
166648 просмотров

Проверить сертификаты SSL с помощью Python

Мне нужно написать сценарий, который подключается к множеству сайтов в нашей корпоративной интрасети через HTTPS и проверяет действительность их сертификатов SSL; что срок их действия не истек, что они выпущены для правильного адреса и т. д. Мы используем собственный внутренний корпоративный цен...

0
голосов
1ответов
478 просмотров

Проверка Apache / Tomcat и Ant с помощью GnuPG

как, черт возьми, можно проверить подпись дистрибутива для apache Tomcat или ant? Я использую GnuPG, и, похоже, он не помогает, несмотря на предупреждения на всем сайте Apache о необходимости сначала проверить файлы. с помощью окон ... если это поможет. ШАГИ: 1) скачать двоичную версию фа...

17
голосов
6ответов
37336 просмотров

Как я могу заставить регулярное выражение проверять, что строка содержит только буквенные символы [a-z] или [A-Z]?

Я пытаюсь создать регулярное выражение, чтобы убедиться, что данная строка содержит только буквенные символы a-z или A-Z. Строка может содержать до 25 букв. (Я не уверен, может ли регулярное выражение проверять длину строк) Примеры: 1. "abcdef" = true; 2. "a2bdef" = false; 3. "333"...

5
голосов
3ответов
2469 просмотров

Библиотека проверки подписи XML на C?

Существуют ли доступные библиотеки на языке C для проверки подписей XML? Я смог найти только одну библиотеку для C ++ из http://santuario.apache.org/cindex.htmlа>.

0
голосов
4ответов
1983 просмотров

Алгоритм капчи

Я заметил, что Stack Overflow лишь изредка представляет мне капчу. Кто-нибудь знает, есть ли у него хороший алгоритм для определения того, могу ли я быть роботом или, вместо этого, просто случайным. Снижение использования капч - это, безусловно, хорошая вещь.

1
голосов
1ответов
802 просмотров

Проверка URL-адреса в мультитенантной архитектуре

как лучше всего проверить URL-адреса в веб-приложении с мультитенантной архитектурой, чтобы убедиться, что пользователь из одной организации не получает доступ к данным другой организации, просто изменив параметры строки запроса. Я не хочу выполнять проверку при каждой загрузке страницы. приложе...

3
голосов
2ответов
5538 просмотров

Аутентификация по отпечатку пальца онлайн

У компании есть веб-приложение для перфокарт, но мой начальник хочет, чтобы сотрудники входили и выходили, используя свои отпечатки пальцев, а не общие пароли. Можно ли использовать какие-либо бесплатные / открытые / коммерческие SDK? С встраиваемым компонентом на основе Java или ActiveX? Зар...

20
голосов
1ответов
23938 просмотров

Как обрабатывать проверку ключа хоста ssh с двумя разными хостами на одном (но меняющемся) IP-адресе?

У меня есть 2 ssh-сервера за брандмауэром nat в месте, которое меняет свой WAN IP каждый день. Они всегда имеют один и тот же WAN IP-адрес в определенный момент времени, но на разных портах. Я подключаюсь к серверу А следующим образом: ssh -p 22001 [email protected].com и на сервер B: ...

6
голосов
2ответов
3801 просмотров

Экспорт задач в 'C с использованием DPI

У меня есть тестовый стенд на основе Verilog, подключенный к источнику C с использованием DPI. Теперь, используя DPI, я планирую написать всю свою прошивку. Для этого мне нужны 3 вещи Зарегистрируйтесь, прочтите Зарегистрироваться Написать Обработчик прерывания Насколько я понимаю, чтени...

2
голосов
2ответов
176 просмотров

Как справиться с переводом виджетов пользовательского интерфейса в масштабном проекте?

Я работаю над большим проектом Java 1.4.2 (~ 3000 файлов ...), который содержит множество виджетов графического интерфейса. Существует требование перевести весь текст в виджетах пользовательского интерфейса на разные языки (итальянский, французский, немецкий), на данный момент только европейские...

2
голосов
5ответов
4555 просмотров

Запретить посетителям открывать определенные страницы

У меня есть веб-сайт ASP.Net 2.0 с SQL Server в качестве базы данных и C # 2005 в качестве языка программирования. Сайт почти готов, и все ссылки работают нормально. Но я хочу, чтобы нормальные пользователи не открывали пару страниц. Когда какой-либо пользователь нажимает на эти конкретные ссылк...

3
голосов
2ответов
1561 просмотров

проверка отпечатка пальца

В последний год я работаю над аутентификацией по отпечаткам пальцев. Завершила бинаризацию, прореживание, выделение мелких деталей. Я делаю это в Matlab. я застрял с проверкой. я не знаю, как выполнить проверку. поэтому, пожалуйста, помогите мне решить эту проблему. Я был бы признателен людям, к...

5
голосов
6ответов
2418 просмотров

Является ли использование двух разных хеш-функций хорошим способом проверки целостности файла?

У меня есть веб-сайт, на котором пользователи могут загружать свои файлы; они хранятся на сервере, а их метаданные записываются в базу данных. Я выполняю несколько простых проверок целостности, то есть «идентично ли содержимое этого файла побайтно, как при загрузке?» Пример: для содержимого u...

6
голосов
5ответов
1601 просмотров

Какова вероятность того, что X * последовательных * бит в массиве из N бит установлен в 1?

Я пытаюсь создать простой, достаточно точный фильтр для проверки аппаратного обеспечения в моделировании RTL. Мы имитируем случайность, присущую триггерам микросхемы, путем случайной инициализации всех триггеров в конструкции на 0 или 1. Это соответствует тому, что триггеры микросхемы получают н...

2
голосов
4ответов
610 просмотров

Определение работоспособности / действительности электронного адреса

Регулярное обслуживание веб-сайта часто включает проверку правильности ссылок, отметку плохих и т. д. Я знаю, как сопоставлять адреса электронной почты с помощью сценария (особенно в контексте веб-страницы, где они находятся в mailto: ссылках). У меня вопрос: как мне убедиться, что они в поря...

1
голосов
9ответов
254 просмотров

Проверка базы данных происходит так, как вы ожидаете

Я пишу java-приложение на своей машине, и оно отлично работает с установленной мной БД, но когда я устанавливаю его на месте, оно взрывается, потому что БД немного отличается. Итак, я сейчас пишу код, чтобы убедиться, что: О: У меня правильные данные БД B: В базе данных есть все табл...

8
голосов
2ответов
17233 просмотров

Проверить сертификат по хранилищу сертификатов Java через интерфейс командной строки

Как проверить сертификат X509 (или в формате DER) по хранилищу сертификатов Java через командную строку? Я изучал использование утилиты keytool, но похоже, что она обрабатывает только функции импорта / экспорта / отображения (без проверки). РЕДАКТИРОВАТЬ: похоже, что keytool можно использо...