Why datalog with constraints?

first post: cguino wrote: I am studying SecPAL and other security languages for distributed s...

latest post: cguino wrote: Thank you very much! That was what kind of what I thought. Thanks ...

Sample Parser for SecPAL Simplified English Grammar Now Available!

first post: jasonhogg wrote: One of the great strengths of SecPAL is its unique support for mult...

latest post: jasonhogg wrote: Hi Apurva -I have posted an update of the parser that works on the ...

SecPAL Parser Updated for VS2008 and F#1.9.6.16

first post: jasonhogg wrote: I finally got around to updating the SecPAL Parser to run on the la...

Use of the RSACryptoServiceProvider in our Samples

first post: jasonhogg wrote: I have had a couple of people ask about how our use of the KeyHolde...

SecPAL QueryEditor

first post: Lon28Wall wrote: We've just added a QueryEditor to the Releases section that demonst...

Where do I download SecPAL from?

first post: jasonhogg wrote: This site is intended to help support people evaluating SecPAL. The...

SecPAL v1.1 Is Now Available!

first post: jasonhogg wrote: We have just released a point release of SecPAL which you should de...

Writing to the Audit Log

first post: jasonhogg wrote: We have had a couple of questions about writing to the audit log us...

SecPAL Related Research

first post: jasonhogg wrote: Use this section to let other researchers know what research you ar...

latest post: wasson wrote: The University of Virginia Grid Computing Group http://www.cs.virgi...

FactQualifiers and Constraints

first post: jasonhogg wrote: One point of confusion that we see time and time again is with rega...