我目前正在撰写我的硕士论文,并面临着在时间逻辑中指定和验证我的方法.
在我的情况下哪种时态逻辑最好用？我真的希望对我的方法以及如何继续进行一些反馈
我的模型由参与者组成,这些参与者将同时执行.对于每个参与者,可以注册规则.他们看起来像这样:
conditions -> action
例如
received(a, c) ^ received(b,c) -> allowed(c,d)
这意味着c必须接收来自b的消息和来自c的消息才能被允许向d发送消息.
在其中一个参与者发送或接收消息之前,我的原型检查是否允许参与者执行该操作.到目前为止,我想验证该算法是否执行以下操作:
如果不存在其条件成立的规则:禁止该操作
如果存在条件成立且禁止操作的规则:禁止操作
如果存在条件成立的规则,则允许该操作,并且不存在其条件成立且禁止操作的其他规则:允许操作
我需要一些帮助来了解我的网络应用程序发生了什么。\n我有一个使用智能卡身份验证的简单 Web 应用程序 (c# .Net 2.0)。在我的测试盒（win 2k3 32 位，iis6）中，一切正常，但在我的生产盒（win2k3 64 位，iis6）中，firefox 无法将卡中托管的证书发送到服务器（集合 Request.ClientCertificate 是空的）。如果我尝试使用 IE（6、7 和 8）或 Safari 浏览同一个生产站点，它可以工作。
\n\n两台服务器上的 IIS 配置是相同的：相同的 ssl 证书、相同的 CTL。\nI\xe2\x80\x99 已经阅读了很多有关 Firefox 证书问题的内容，但没有一个与我的匹配。
\n\n如果你们中的任何人能够提供有关正在发生的事情的线索，我将非常感激。
\n\n格劳科。
\n