verification

    3熱度

    1回答

    Zend Framework 2電子郵件令牌驗證

    我想通過發送帶有令牌鏈接的電子郵件來驗證用戶註冊的電子郵件（例如：http://example.com/user/autenticate/verify/abG12Fdss67j3kgfdds4jdpa74FiP9），因此如果找到該令牌，系統（在Zend Framework 2中）在數據庫中，預先註冊的賬戶進入VERIFIED狀態。 我使用的是路線module.config.php這樣的： 'ver
    php email zend-framework2 token verification 2016-08-23

    1熱度

    1回答

    爲AXI總線創建測試臺

    我必須爲包含AXI總線的項目創建測試臺。 我開始寫寫入和讀取的接口和事務。我閱讀以下博客： http://blog.verificationgentleman.com/2016/08/testing-uvm-drivers-part-2.html?showComment=1471877179631#c7809781639091671746 根據該博客的界面應該是： interface vgm_ax
    system-verilog verification uvm 2016-08-23

    2熱度

    2回答

    符號執行和模型檢查

    符號執行和模型檢查（例如在模型轉換中）有什麼區別？我不明白他們的區別。他們是一樣的嗎？！
    validation verification model-checking model-driven 2016-08-23

    2熱度

    1回答

    是否存在不可解釋函數的理論（同餘分析）？

    我有一組符號變量的： int a, b, c, d, e; 一組未知函數，由若干公理的約束： f1(a, b) = f2(c, b) f1(d, e) = f1(e, d) f3(b, c, e) = f1(b, e) c = f1(a, b) b = d 在此功能f1，f2，f3是未知的，但固定的。所以它不是uninterpreted functions的理論。 我要證明以下斷言
    z3 verification smt stp alt-ergo 2016-08-29

    0熱度

    1回答

    從SSLSocket獲取簽名算法名稱的位置？

    我找不到合適的方法來獲取用於由SSLSocket接收的證書的簽名算法的名稱。我知道你可以用SSLSocket.getpeercert(True)來拉對方證書的字節，但我不知道該怎麼做。 PyOpenSSL似乎沒有簡單的接口來從它的字節內容中加載X509。 我想知道這些信息，因爲帶有SHA1的證書在2017年1月1日之後不允許有到期時間，並且不會通過Python的SSLSocket.do_hands
    python ssl digital-signature x509 verification 2016-08-29

    0熱度

    1回答

    SystemVerilog聲明有效（請求） - ack檢查？

    我正在學習SystemVerilog聲明。我申請了SVA來檢查有效的規範。規格如下： 當有效驅動（0到1）時，有效應該等於1 ，直到ack被驅動（1）。當確認無效（1到0）時，有效的 也被取消斷言（1到0）。 爲了檢查這個規範，我寫了兩個屬性（pr1和pr2）。您可以從下面的鏈接看到SVA代碼。 https://www.edaplayground.com/x/5gHd 我預計兩個屬性完全相同。然而
    system-verilog verification system-verilog-assertions 2016-09-07

    0熱度

    1回答

    貝寶按鈕返回網址的使用情況

    我的網站上有一個貝寶html按鈕，應該返回到我的網站的數據。我的理解是有一個返回url（帶有返回方法）和一個可以做到這一點的通知url。通知網址需要一個IPN監聽器，看起來好像是進行驗證檢查，這很好。我沒有看到任何返回網址的驗證檢查，但似乎我想根據大多數情況下驗證檢查的結果更新返回網址（例如，支付是否成功）。而且，我需要知道PayPal實際上要求返回url來更新db，否則這似乎會通過返回url打開
    security paypal paypal-ipn verification paypal-buttons 2016-09-11

    0熱度

    2回答

    通過Dafny後置的消息

    一個非常簡單的乘法碼困惑： 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

    1熱度

    1回答

    在Windows中驗證密碼匹配Powershell

    我正在創建一個腳本來處理我工作的學區的無人蔘與域加入。我們有幾個處理sysprep的IT人員，所以我創建了一個腳本來加密密碼以用於Add-Computer。 我遇到的麻煩是腳本需要兩個密碼條目，如果它們不匹配就重新啓動，但如果它們繼續，則繼續。我已經嘗試到目前爲止： $s = {write-host "running script} &$s $pwd1 = Read-Host -AsSecur
    powershell passwords verification 2016-08-11
最新問題