NEW POST: FactQualifiers and Constraints
One point of confusion that we see time and time again is with regard to the difference between FactQualifiers and Constraints. In particular people tend to assume that because information has been...
View ArticleNEW POST: SecPAL Related Research
Use this section to let other researchers know what research you are working on with SecPAL. Feel free to include offsite references or pointers to blogs etc.
View ArticleNEW POST: SecPAL Related Research
The University of Virginia Grid Computing Group http://www.cs.virginia.edu/~humphrey/GCG/ is working on a couple of projects using SecPAL. The first is an integration of SecPAL with GridFTP, the...
View ArticleNEW POST: Writing to the Audit Log
We have had a couple of questions about writing to the audit log using SecPAL's audit logging capability - so I figured I would summarize how this capability works - including how to view the audit...
View ArticleNEW POST: SecPAL v1.1 Is Now Available!
We have just released a point release of SecPAL which you should definitely take a look at. In addition to a couple of minor bug fixes there are two features that we think you will be interested in:We...
View ArticleNEW POST: Where do I download SecPAL from?
This site is intended to help support people evaluating SecPAL. The .NET implementation of SecPAL and associated design papers can be found at our main research site...
View ArticleNEW POST: SecPAL QueryEditor
We've just added a QueryEditor to the Releases section that demonstrates how to use the SecPAL authorization engine. The QueryEditor is deployed as a Visual Studio 2005 project with full source...
View ArticleNEW POST: Use of the RSACryptoServiceProvider in our Samples
I have had a couple of people ask about how our use of the KeyHolderPrincipal works in the SecPAL samples. Our samples use code similar to this for creating KeyHolderPrincipals: private static...
View ArticleNEW POST: Sample Parser for SecPAL Simplified English Grammar Now Available!
One of the great strengths of SecPAL is its unique support for multiple representations of a security policy; XML for interoperability; and a simplified English grammar for human readbility. The...
View ArticleNew Post: Sample Parser for SecPAL Simplified English Grammar Now Available!
Hello, I am evaluating SecPAL for possible implementation of an authorization module for a trust management system as part of my PhD research. I am trying to setup the environment and I am getting an...
View ArticleNew Post: Sample Parser for SecPAL Simplified English Grammar Now Available!
Unfortunately I think the version of the SecPAL parser that is posted here is not compatible with the latest version of F#. So you can do one of three things. 1. Find the same version of F# that we...
View ArticleNew Post: Sample Parser for SecPAL Simplified English Grammar Now Available!
Thanks for the reply. I got involved in other things and could not follow up on that. As I am a newbie in Secpal, I think your solution (1) will be most suitable. I will try to look into solution (2)....
View ArticleNew Post: SecPAL Parser Updated for VS2008 and F#1.9.6.16
I finally got around to updating the SecPAL Parser to run on the latest version of Visual Studio and F#. Development experience should be much cleaner now because F# is far better integrated into VS....
View ArticleNew Post: Sample Parser for SecPAL Simplified English Grammar Now Available!
Hi Apurva -I have posted an update of the parser that works on the latest version of F#. Although, looking at your issue again I think you might just be missing a path statement pointing to the bin...
View ArticleNew Post: Why datalog with constraints?
I am studying SecPAL and other security languages for distributed systems. I have tried to guess why do they use Datalog for a start point but I couldn´t find out some paper or study that fundaments my...
View ArticleNew Post: Why datalog with constraints?
Do you mean why the need for Datalog or why not use a more advanced inference engine such as Prolog?
View ArticleNew Post: Why datalog with constraints?
Hi, I want to understand just why. Mostly the need for doing so or the benefits that it has. I suppose you don´t use Prolog because of the functions on the head (and other reasons? ). Thank you!!
View ArticleNew Post: Why datalog with constraints?
Wrt why Datalog vs Prolog, Datalog gives us deterministic and efficient query evaluation. Wrt why Datalog, it also helps with some of the complex recursive queries necessary to solve complex...
View ArticleNew Post: Why datalog with constraints?
Thank you very much! That was what kind of what I thought. Thanks again. Claudia
View Article
