verification

    1熱

    1答えて

    アンドロイドでユーザー側のシステムとサーバー側のないアプリ内購入を確認するにはどうすればよいですか？

    このような質問のすべてが私とは無関係のサーバー側の検証を中心にしているため、私の状況に対して決定的な回答は見つかりませんでした。 プレミアムアップグレードのオプションを提供するためにアプリでアプリ内課金を実装しようとしています。私は開発者のドキュメントのガイドに従って、ほとんどの作業を行ってきました。 問題は購入確認です： ドキュメントでは、ユーザーを一意に識別するために開発者ペイロードを各購入に
    android in-app-billing verification 2016-10-13

    -6熱

    1答えて

    SMS認証コードは通常数値ですか？

    私はウェブサイトのSMS検証プロセスを実装中です。なぜなら、ほとんどのSMS認証コード（Googleが送信したものでも）は通常、数字だけで構成されているのです。 確かにアルファ数値コードは数値コードよりも安全でしょうか？ 数字コードが流行していると考えられる唯一の理由は、おそらくラテン文字/アルファベットのアルファベット文字が世界中のキーボードですぐに利用できないということです。
    php android mobile verification 2016-09-02

    0熱

    1答えて

    有効な（リクエスト）確認のためのSystemVerilogアサーション？

    私はSystemVerilogアサーションを研究しています。私はSVAを適用してvalid-ack仕様を確認しました。仕様は以下の通りである： 有効が（0〜1）drivedされると、ACK（1）drivedされるまで、有効な1 に等しくなければなりません。 ackがアサート解除されると（1から0）、 の有効値もアサート解除されます（1から0）。 この仕様を確認するには、2つのプロパティ（pr1とp
    system-verilog verification system-verilog-assertions 2016-09-07

    0熱

    1答えて

    PayPalボタンの返品URLの使用

    私のサイトにPayPalのhtmlボタンがあります。私のウェブサイトにデータを戻す必要があります。私の理解は、これを行うことができる返信URL（返却メソッド付き）と通知URLがあることです。通知URLにはIPNリスナーが必要ですが、これは確認チェックがうまくいくようです。返信URLの検証チェックは表示されませんが、ほとんどの場合（たとえば支払いが正常に行われたかどうかなど）、検証チェックの結果に基
    security paypal paypal-ipn verification paypal-buttons 2016-09-11

    0熱

    2答えて

    Dafny事後条件メッセージ

    A非常に単純な乗算コードで混乱： method Product1 (m: nat, n: nat) returns (res:nat) ensures res == m * n; { var m1: nat := 0; var n1: nat := 0; res := 0; while (m1 < m) { n1 := 0;
    verification dafny 2016-09-14

    0熱

    1答えて

    シンボリック実行のアプリケーション

    シンボリック実行のアプリケーションとは何ですか？ symbolic executionはpath conditionのみ生成しますか？シンボリック実行を使用してcontractを確認するにはどうすればよいですか？
    validation testing verification 2016-09-17

    0熱

    1答えて

    SystemC検証ビルドエラー 'undefined reference to ..'

    SCV関数の使用方法を含むコードを作成できないという問題があります。私はEclipseとCygwinを使用しています。 これは私がビルドして実行しようとしています簡単なコードです： #include <scv.h> int sc_main (int argc, char* argv[]) { // Int data type int data = 100; // Get the bitw
    cygwin verification systemc 2016-09-21

    1熱

    1答えて

    PHP XCRUD検証鍵は、IMは現在、以下のエラーが発生したxcrud PHPのフレームワークを使用して

    誰かここでは古くなっている： 検証鍵は、これはブラウザがして、このページの以前のバージョンをキャッシュされたことを意味日付 の外にあります古い鍵（セキュリティ上の理由から、要求ごとに検証鍵が生成されます） なぜですか？ブラウザーで戻るボタンを押したか、最後のセッションからブックマークを開いた可能性があります。 ページをリロードするだけで、何も起こりません:)
    php verification 2016-09-21

    -1熱

    1答えて

    iPhoneアプリケーションで.edu電子メールの確認を追加するには？

    登録を厳密に.eduに制限する機能を作成しようとしています。 .eduのサインアップをしている限り、どの大学の学生もサインアップできる機能を実装するにはどうすればよいですか。私はFacebook登録機能を持っていますが、その後、ユーザーを電子メールの確認画面にリダイレクトしたいと思います。 func validate(email: String) -> Bool { do {
    ios swift email verification 2016-10-02

    2熱

    2答えて

    dafnyは、失敗したアサーションのカウンタの例を表示できますか？

    私はDafnyを使用して次のプログラムの正確性/不正性を証明しようとしています。 datatype List<T> = Nil | Cons(T, List) function tail(l:List):List { match l case Nil => Nil case Cons(x,xs) => xs } method check(l:List) {
    verification dafny 2016-10-02
最新の質問