Discussions under SecPAL

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

  • 1-3 of 3 discussions
    • Previous
    • 1
    • Next
    • Showing
    • All
    • discussions