Jan 19, 2010

10:41 PM
(5 posts)

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 ...

Sep 27, 2009

9:54 PM
(5 posts)

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 ...

Sep 26, 2009

10:26 PM
(1 post)

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...

Jul 27, 2007

7:59 PM
(1 post)

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...

Jun 21, 2007

7:56 PM
(1 post)

SecPAL QueryEditor

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

Jun 15, 2007

8:17 PM
(1 post)

Where do I download SecPAL from?

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

Jun 13, 2007

11:37 PM
(1 post)

SecPAL v1.1 Is Now Available!

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

Jun 8, 2007

5:02 PM
(1 post)

Writing to the Audit Log

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

May 18, 2007

6:08 PM
(2 posts)

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...

Mar 14, 2007

4:23 PM
(1 post)

FactQualifiers and Constraints

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