我是coq证明助手的新手，还在摸索中。我遇到了一个我不知道如何处理的情况:我试图使用Program Fixpoint策略来削弱对代码的要求，以便稍后证明所需的属性，即所谓的Obligations。虽然它们中的大多数都很容易，但也有两个义务生成了目标，其中的目标形式是[a-quite-simplee-xpr] = [my-function-name]_obligation_3，一般来说，这些目标指的是之前已经证明的其他
浏览 12提问于2019-03-11得票数 1
2回答
我想知道XACML强制执行引擎(PEP、PDP、PIP、PAP)执行义务的所有步骤，以及何时触发执行。
您的医疗记录已被访问:谢谢。
浏览 0提问于2018-02-12得票数 2
我想知道为什么义务语句中的WSO2 Balana框架只接受“允许”或“拒绝”条件的fulfillOn参数，而忽略“不适用”的结果，这对于在逻辑流程中截取和记录有助于策略调试过程也很有趣。在Balana ObligationExpression.java的源代码中，我们可以找到： fulfillOn = Result.DECISION_PERMIT
浏览 0提问于2015-11-18得票数 0
2回答
我有一个自定义的起源，即EC2实例上的web应用程序。我如何决定是否应该：
这种混淆产生于这样一个事实:两种方法的目标都是将请求路由到最近的位置(在Cloudfront情况下的边缘位置，以及当涉及到具有基于地理位置策略的多区域部署和53路由时的<
浏览 0提问于2019-05-24得票数 3
回答已采纳
我认为XACML 3.0中包含了对义务的支持，例如：
有没有人知道这是否可能？
谢谢，吉姆
浏览 2提问于2014-05-23得票数 0
我正在使用这个代码从我的活动中下载一个文件。它在仿真器上正确下载文件，并在通知中显示下载。但是当我点击通知的时候，它就会消失。Uri.parse(url); startActivity(intent);
我需要存储这个下载文件的路径
浏览 2提问于2013-02-23得票数 0
sboxes的强度通常由不同的特性(如非线性、不动点等)来测量。如果混合模式模块算法(如在IDEA中)提供混淆，如何测量这类混淆层的强度？此外，我的样本混合模式模块化算法基于混淆层接受64位输入，并产生64位输出。
浏览 0提问于2018-03-19得票数 2
我很快就要开始义务兵役了。我申请了芬兰军队的网络战部队。对申请人进行了一次考试。测试完成后，这些问题现在已经在这里发布了：http://erityistehtavat.puolustusvoimat.fi/cyberchallenge.html两个完全隔离的程序从不同的硬件随机数生成器中得到一个随机比特在得到该位后，每个程序猜测另一个程序的随机位是什么。程序可以是不同的
浏览 0提问于2015-07-17得票数 12
回答已采纳
2回答
web服务与XACML策略决策点集成。策略决策点确定请求是否作为用户和正在访问的数据的函数被授权。通常，响应是“允许”(允许操作)或“拒绝”(不允许操作)。
如果允许，则继续调用并返回数据。然而，某些政策有“义务”表明，有条件地允许采取进一步行动。我通常使用的类比是“这个信用卡交易可能被允许，但是职员需要查看客户的ID，然后再打这个电话，声称这个ID与信用卡匹配”。在我的web服务中，我希望提示客户端采取行动，并在请求URL中包含其他信息，以表明该<e
浏览 1提问于2014-05-21得票数 1
回答已采纳
1回答
据我所知，有几种混淆策略被广泛使用(或至少在学术上作了描述)，例如：
2. control-flow flattening4. opaque values from array aliasing
2. code as key material从他们在介绍这些
浏览 0提问于2014-01-18得票数 1
我试图用Coq定义一种简单的基于堆栈的语言。目前，指令集包含推送nat的nat和弹出nat的指令pop。其思想是程序是依赖类型的；Prog 2是一个程序，它在执行后将两个元素留在堆栈中。这是由这个简单的程序实现的：
Require Import Coq.Vectors.VectorDef.然而，由于某些原因，这会产生奇怪的义务，我认为这是无法解决
浏览 0提问于2018-05-13得票数 3
回答已采纳
我们希望在Windows 10上使用支持IE11的现有web应用程序(避免将其移植到Edge)，但我们希望避免在我们的领域中没有经验的用户混淆--在获得给定应用程序的URL之后，他们可能会使用defalt如何将请求切换到由Internet Explorer 11为某些活动目录组用户启动的Edge中启动的具体URL？这应该只适用于来自给定组和具体URL的用户。是否有一些组策略设置？
浏览 0提问于2017-10-22得票数 0
回答已采纳
1回答
我在silverlight应用程序工作，我的问题是关于wcf和silverlight。我把silverlight应用程序和wcf库放在一个解决方案中。当我只开始服务的时候，它是没有问题的。当我想运行应用程序时，问题就开始了。我在客户端访问策略上有错误，我也添加了..
，所以我的问题是：有什么方法来启动应用程序(和调试)，并通过这个错误一起服务吗？而没有义务部署？只在调试模式下？
浏览 3提问于2014-11-10得票数 1
回答已采纳
1回答
触发COPPA义务的因素之一是：
我目前正在做的是添加一个随机错误到位置，但这不是一个好的解决方案，它会导致其他类型的问题。
有什么想法吗？有谁面临同样的问题吗？
浏览 3提问于2014-08-26得票数 0
如何在我的应用程序中获得相同的C#结果？
计算由两个日期( start_date和end_date)之间的整日数表示的年度分数。使用YEARFRAC工作表功能确定一整年福利或义务分配给特定期限的比例。
浏览 4提问于2011-12-19得票数 1
我试图编写一个ACSL谓词，以查看一个整数是否为2的幂，如下所示： predicate positive_power_of_2 (integer i) =
i > 0 &&
浏览 5提问于2020-10-08得票数 2
回答已采纳
我使用的是具有orm持久性驱动程序和JMSSerializerBundle序列化程序的FOSElasticaBundle。我的用户由FOSUserBundle管理，我正在尝试对这些用户进行索引，但排除了一些字段，如密码。@ExclusionPolicy("all") @Expose @Exclude等模型排除策略在添加到我的用户实体(扩展FOS\UserBundle\ JMSSerializerBundle \ User)时不会<e
浏览 2提问于2014-01-26得票数 1
我正在做一些更改，这样我们就可以使用Sencha Cmd来简化我们的代码。有人知道为什么会发生这种情况吗？这有没有可能是YUI Compressor混淆造成的？有没有处理混淆错误的策略？提前感谢！
浏览 0提问于2014-02-13得票数 0
1回答
我在将我的windows8metro应用程序发布到windows应用商店时遇到问题。根据说明，我应该在我的应用程序中添加隐私策略。但我不知道如何在用于windows8的cocos2d-x应用程序中添加隐私策略。互联网上的解决方案都是使用普通的C# Windows8应用程序。所以我混淆了如何解决windows8的cocos2d-x隐私策略问题。等待
浏览 0提问于2013-08-01得票数 0
云服务器
ICP备案
实时音视频
即时通信 IM
云直播
腾讯云开发者
