reasoning
RSS reasoningFOAF+SSL: RESTful Authentication for the Social Web
White Paper After summarizing each of these technologies and how they come together in FOAF+SSL, the paper describes declaratively the reasoning of a server in its authentication decision. The paper describes a simple protocol for... [04 Oct 2009]
Extending BAN Logic for Reasoning With Modern PKI-Based Protocols
White Paper In particular, the extension redresses the reasoning on the goodness of private keys, and considers certificate revocation. BAN Logic is a well-known authentication logic which, despite other more recent logics and... [02 Oct 2009]
Detection of Denial of Service Attacks in Wireless Mesh Networks
White Paper This paper proposes an intrusion detection mechanism based on reasoning agents that takes advantage of the infrastructure support in mesh network. Mesh networks are a new technology that provide nodes with the ability of... [02 Oct 2009]
An Approach to Security Policy Configuration Using Semantic Threat Graphs
White Paper An ontology-based approach to representing and reasoning over this knowledge is taken. Managing the configuration of heterogeneous enterprise security mechanisms is a wholly complex task. The effectiveness of a... [02 Oct 2009]
What You Need To Know About Server 2008 Core Edition
White Paper This white paper explains the reasoning behind this "minimalist" approach to Server 2008 Core Edition that can be simpler to maintain, more reliable, and more resistant to attack than "full-boat" Server 2008 systems. [01 Oct 2009]
Automated Verification of Practical Garbage Collectors
White Paper Garbage collectors are notoriously hard to verify, due to their low-level interaction with the underlying system and the general difficulty in reasoning about reachability in graphs. Several papers have presented... [16 Sep 2009]
Data Mining in Oral Medicine Using Decision Trees
White Paper This paper suggests the use of decision trees for continuously extracting the clinical reasoning in the form of medical expert's actions that is inherent in large number of EMRs (Electronic Medical records). [29 Aug 2009]
Apple breaks app-approval silence with rude dictionary 'no' explanation
News The developer of Ninjawords isn't exactly mollified by Apple's reasoning. But even then, Apple didn't explain the reasoning behind its decision to approve an application it eventually called "deeply... [07 Aug 2009]
Security taking a hit as companies bitten by crunch
News However, Schneier said this reasoning was flawed. IT security has been neglected due to the economic downturn, according to security experts. Bruce Schneier, BT's chief security technology officer, told a European... [22 Jun 2009]
Principled Reasoning and Practical Applications of Alert Fusion in Intrusion Detection Systems
White Paper It is generally believed that by combining several diverse intrusion detectors (i.e.forming an IDS ensemble), one may achieve better performance. However, there has been very little work on analyzing the effectiveness of an IDS ensemble. [20 Jun 2009]
A Semantics-Based Approach to Malware Detection
White Paper It proposes a semantics-based framework for reasoning about malware detectors and proving properties such as soundness and completeness of such detectors. Malware detection is a crucial aspect of software security. [20 Jun 2009]
The Weekly Round-Up: 05.06.09
Round-Up You may recall the Round-Up discussed Bing last week, and in particular the reasoning behind the brand name: Bing being the noise made at "the moment of discovery and decision making". Bada Bing! Some more on Microsoft's... [05 Jun 2009]
Temporal Reasoning: Manage Complex Changes in Rules, Rates, and Circumstances
White Paper This white paper outlines Oracle's sophisticated temporal reasoning solution for dealing with change in a complex, dynamic policy environment. It also illustrates Oracle's temporal reasoning process... [30 May 2009]
Qualcomm to pay $891m in Broadcom settlement
News We'd become increasingly troubled by some of the court's rulings in that case that we felt threatened to broaden the scope of the injunction," he said, describing one part of the reasoning behind the deal. [27 Apr 2009]
Towards a Measurement Framework for Security Risk Management
White Paper To extend this work and to support reasoning at the modelling language level, the objective is now to define the metrics available. Risk management is currently a key tool for managing Information System (IS) security. [23 Mar 2009]
