<?xml version="1.0"?><?xml-stylesheet type="text/xsl" href="/rss.xsl"?><rss version="2.0"><channel><title>Security Policy Assertion Language</title><link>http://secpal.codeplex.com/project/feeds/rss</link><description>Security Policy Assertion Language &amp;#40;SecPAL&amp;#41; provides a flexible and robust declarative authorization language developed for large-scale Grid Computing Environments. </description><item><title>Source code checked in, #94877</title><link>http://secpal.codeplex.com/SourceControl/changeset/changes/94877</link><description>Upgrade&amp;#58; New Version of LabDefaultTemplate.xaml. To upgrade your build definitions, please visit the following link&amp;#58; http&amp;#58;&amp;#47;&amp;#47;go.microsoft.com&amp;#47;fwlink&amp;#47;&amp;#63;LinkId&amp;#61;254563</description><author>Project Collection Service Accounts</author><pubDate>Mon, 01 Oct 2012 22:38:35 GMT</pubDate><guid isPermaLink="false">Source code checked in, #94877 20121001103835P</guid></item><item><title>Source code checked in, #94876</title><link>http://secpal.codeplex.com/SourceControl/changeset/changes/94876</link><description>Checked in by server upgrade</description><author>Project Collection Service Accounts</author><pubDate>Mon, 01 Oct 2012 22:31:06 GMT</pubDate><guid isPermaLink="false">Source code checked in, #94876 20121001103106P</guid></item><item><title>Source code checked in, #57274</title><link>http://secpal.codeplex.com/SourceControl/changeset/changes/57274</link><description>Checked in by server upgrade</description><author>_TFSSERVICE</author><pubDate>Wed, 28 Jul 2010 22:13:23 GMT</pubDate><guid isPermaLink="false">Source code checked in, #57274 20100728101323P</guid></item><item><title>New Post: Why datalog with constraints?</title><link>http://secpal.codeplex.com/Thread/View.aspx?ThreadId=76031</link><description>&lt;div style="line-height: normal;"&gt;&lt;p&gt;Thank you very much! That was what kind of what I thought.&amp;nbsp;&lt;/p&gt;
&lt;p&gt;&amp;nbsp;&lt;/p&gt;
&lt;p&gt;Thanks again.&lt;/p&gt;
&lt;p&gt;&amp;nbsp;&lt;/p&gt;
&lt;p&gt;Claudia&lt;/p&gt;&lt;/div&gt;</description><author>cguino</author><pubDate>Tue, 19 Jan 2010 23:41:42 GMT</pubDate><guid isPermaLink="false">New Post: Why datalog with constraints? 20100119114142P</guid></item><item><title>New Post: Why datalog with constraints?</title><link>http://secpal.codeplex.com/Thread/View.aspx?ThreadId=76031</link><description>&lt;div style="line-height: normal;"&gt;&lt;p&gt;Thank you very much! That was what kind of what I thought.&amp;nbsp;&lt;/p&gt;
&lt;p&gt;&amp;nbsp;&lt;/p&gt;
&lt;p&gt;Thanks again.&lt;/p&gt;
&lt;p&gt;&amp;nbsp;&lt;/p&gt;
&lt;p&gt;Claudia&lt;/p&gt;&lt;/div&gt;</description><author>cguino</author><pubDate>Tue, 19 Jan 2010 23:41:42 GMT</pubDate><guid isPermaLink="false">New Post: Why datalog with constraints? 20100119114142P</guid></item><item><title>New Post: Why datalog with constraints?</title><link>http://secpal.codeplex.com/Thread/View.aspx?ThreadId=76031</link><description>&lt;div style="line-height: normal;"&gt;&lt;p&gt;Thank you very much! That was what kind of what I thought.&amp;nbsp;&lt;/p&gt;
&lt;p&gt;&amp;nbsp;&lt;/p&gt;
&lt;p&gt;Thanks again.&lt;/p&gt;
&lt;p&gt;&amp;nbsp;&lt;/p&gt;
&lt;p&gt;Claudia&lt;/p&gt;&lt;/div&gt;</description><author>cguino</author><pubDate>Tue, 19 Jan 2010 23:41:42 GMT</pubDate><guid isPermaLink="false">New Post: Why datalog with constraints? 20100119114142P</guid></item><item><title>New Post: Why datalog with constraints?</title><link>http://secpal.codeplex.com/Thread/View.aspx?ThreadId=76031</link><description>&lt;div style="line-height: normal;"&gt;&lt;p&gt;Thank you very much! That was what kind of what I thought.&amp;nbsp;&lt;/p&gt;
&lt;p&gt;&amp;nbsp;&lt;/p&gt;
&lt;p&gt;Thanks again.&lt;/p&gt;
&lt;p&gt;&amp;nbsp;&lt;/p&gt;
&lt;p&gt;Claudia&lt;/p&gt;&lt;/div&gt;</description><author>cguino</author><pubDate>Tue, 19 Jan 2010 23:41:42 GMT</pubDate><guid isPermaLink="false">New Post: Why datalog with constraints? 20100119114142P</guid></item><item><title>New Post: Why datalog with constraints?</title><link>http://secpal.codeplex.com/Thread/View.aspx?ThreadId=76031</link><description>&lt;div style="line-height: normal;"&gt;&lt;p&gt;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 constrained delegation rules - amongst other things.&lt;/p&gt;
&lt;p&gt;Jason&lt;/p&gt;
&lt;p&gt;&amp;nbsp;&lt;/p&gt;&lt;/div&gt;</description><author>jasonhogg</author><pubDate>Tue, 12 Jan 2010 23:46:53 GMT</pubDate><guid isPermaLink="false">New Post: Why datalog with constraints? 20100112114653P</guid></item><item><title>New Post: Why datalog with constraints?</title><link>http://secpal.codeplex.com/Thread/View.aspx?ThreadId=76031</link><description>&lt;div style="line-height: normal;"&gt;&lt;p&gt;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 constrained delegation rules - amongst other things.&lt;/p&gt;
&lt;p&gt;Jason&lt;/p&gt;
&lt;p&gt;&amp;nbsp;&lt;/p&gt;&lt;/div&gt;</description><author>jasonhogg</author><pubDate>Tue, 12 Jan 2010 23:46:53 GMT</pubDate><guid isPermaLink="false">New Post: Why datalog with constraints? 20100112114653P</guid></item><item><title>New Post: Why datalog with constraints?</title><link>http://secpal.codeplex.com/Thread/View.aspx?ThreadId=76031</link><description>&lt;div style="line-height: normal;"&gt;&lt;p&gt;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 constrained delegation rules - amongst other things.&lt;/p&gt;
&lt;p&gt;Jason&lt;/p&gt;
&lt;p&gt;&amp;nbsp;&lt;/p&gt;&lt;/div&gt;</description><author>jasonhogg</author><pubDate>Tue, 12 Jan 2010 23:46:53 GMT</pubDate><guid isPermaLink="false">New Post: Why datalog with constraints? 20100112114653P</guid></item><item><title>New Post: Why datalog with constraints?</title><link>http://secpal.codeplex.com/Thread/View.aspx?ThreadId=76031</link><description>&lt;div style="line-height: normal;"&gt;&lt;p&gt;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 constrained delegation rules - amongst other things.&lt;/p&gt;
&lt;p&gt;Jason&lt;/p&gt;
&lt;p&gt;&amp;nbsp;&lt;/p&gt;&lt;/div&gt;</description><author>jasonhogg</author><pubDate>Tue, 12 Jan 2010 23:46:53 GMT</pubDate><guid isPermaLink="false">New Post: Why datalog with constraints? 20100112114653P</guid></item><item><title>New Post: Why datalog with constraints?</title><link>http://secpal.codeplex.com/Thread/View.aspx?ThreadId=76031</link><description>&lt;div style="line-height: normal;"&gt;&lt;p&gt;Hi, I want to understand just why. Mostly the need for doing so or the benefits that it has. I suppose you don&amp;acute;t use Prolog because of the functions on the head (and other reasons? ).&lt;/p&gt;
&lt;p&gt;&amp;nbsp;&lt;/p&gt;
&lt;p&gt;Thank you!!&lt;/p&gt;&lt;/div&gt;</description><author>cguino</author><pubDate>Thu, 10 Dec 2009 20:26:00 GMT</pubDate><guid isPermaLink="false">New Post: Why datalog with constraints? 20091210082600P</guid></item><item><title>New Post: Why datalog with constraints?</title><link>http://secpal.codeplex.com/Thread/View.aspx?ThreadId=76031</link><description>&lt;div style="line-height: normal;"&gt;&lt;p&gt;Hi, I want to understand just why. Mostly the need for doing so or the benefits that it has. I suppose you don&amp;acute;t use Prolog because of the functions on the head (and other reasons? ).&lt;/p&gt;
&lt;p&gt;&amp;nbsp;&lt;/p&gt;
&lt;p&gt;Thank you!!&lt;/p&gt;&lt;/div&gt;</description><author>cguino</author><pubDate>Thu, 10 Dec 2009 20:26:00 GMT</pubDate><guid isPermaLink="false">New Post: Why datalog with constraints? 20091210082600P</guid></item><item><title>New Post: Why datalog with constraints?</title><link>http://secpal.codeplex.com/Thread/View.aspx?ThreadId=76031</link><description>&lt;div style="line-height: normal;"&gt;&lt;p&gt;Hi, I want to understand just why. Mostly the need for doing so or the benefits that it has. I suppose you don&amp;acute;t use Prolog because of the functions on the head (and other reasons? ).&lt;/p&gt;
&lt;p&gt;&amp;nbsp;&lt;/p&gt;
&lt;p&gt;Thank you!!&lt;/p&gt;&lt;/div&gt;</description><author>cguino</author><pubDate>Thu, 10 Dec 2009 20:26:00 GMT</pubDate><guid isPermaLink="false">New Post: Why datalog with constraints? 20091210082600P</guid></item><item><title>New Post: Why datalog with constraints?</title><link>http://secpal.codeplex.com/Thread/View.aspx?ThreadId=76031</link><description>&lt;div style="line-height: normal;"&gt;&lt;p&gt;Hi, I want to understand just why. Mostly the need for doing so or the benefits that it has. I suppose you don&amp;acute;t use Prolog because of the functions on the head (and other reasons? ).&lt;/p&gt;
&lt;p&gt;&amp;nbsp;&lt;/p&gt;
&lt;p&gt;Thank you!!&lt;/p&gt;&lt;/div&gt;</description><author>cguino</author><pubDate>Thu, 10 Dec 2009 20:26:00 GMT</pubDate><guid isPermaLink="false">New Post: Why datalog with constraints? 20091210082600P</guid></item><item><title>New Post: Why datalog with constraints?</title><link>http://secpal.codeplex.com/Thread/View.aspx?ThreadId=76031</link><description>&lt;div style="line-height: normal;"&gt;&lt;p&gt;Do you mean why the need for Datalog or why not use a more advanced inference engine such as Prolog?&lt;/p&gt;&lt;/div&gt;</description><author>jasonhogg</author><pubDate>Thu, 10 Dec 2009 18:01:34 GMT</pubDate><guid isPermaLink="false">New Post: Why datalog with constraints? 20091210060134P</guid></item><item><title>New Post: Why datalog with constraints?</title><link>http://secpal.codeplex.com/Thread/View.aspx?ThreadId=76031</link><description>&lt;div style="line-height: normal;"&gt;&lt;p&gt;Do you mean why the need for Datalog or why not use a more advanced inference engine such as Prolog?&lt;/p&gt;&lt;/div&gt;</description><author>jasonhogg</author><pubDate>Thu, 10 Dec 2009 18:01:34 GMT</pubDate><guid isPermaLink="false">New Post: Why datalog with constraints? 20091210060134P</guid></item><item><title>New Post: Why datalog with constraints?</title><link>http://secpal.codeplex.com/Thread/View.aspx?ThreadId=76031</link><description>&lt;div style="line-height: normal;"&gt;&lt;p&gt;Do you mean why the need for Datalog or why not use a more advanced inference engine such as Prolog?&lt;/p&gt;&lt;/div&gt;</description><author>jasonhogg</author><pubDate>Thu, 10 Dec 2009 18:01:34 GMT</pubDate><guid isPermaLink="false">New Post: Why datalog with constraints? 20091210060134P</guid></item><item><title>New Post: Why datalog with constraints?</title><link>http://secpal.codeplex.com/Thread/View.aspx?ThreadId=76031</link><description>&lt;div style="line-height: normal;"&gt;&lt;p&gt;Do you mean why the need for Datalog or why not use a more advanced inference engine such as Prolog?&lt;/p&gt;&lt;/div&gt;</description><author>jasonhogg</author><pubDate>Thu, 10 Dec 2009 18:01:34 GMT</pubDate><guid isPermaLink="false">New Post: Why datalog with constraints? 20091210060134P</guid></item><item><title>New Post: Why datalog with constraints?</title><link>http://secpal.codeplex.com/Thread/View.aspx?ThreadId=76031</link><description>&lt;div style="line-height: normal;"&gt;&lt;p&gt;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&amp;acute;t find out some paper or study that fundaments my ideas. Does anybody knows or guesses why is it?&lt;/p&gt;
&lt;p&gt;&amp;nbsp;&lt;/p&gt;
&lt;p&gt;Thank you very much for your help!&lt;/p&gt;
&lt;p&gt;&amp;nbsp;&lt;/p&gt;
&lt;p&gt;&amp;nbsp;&lt;/p&gt;&lt;/div&gt;</description><author>cguino</author><pubDate>Tue, 24 Nov 2009 01:20:14 GMT</pubDate><guid isPermaLink="false">New Post: Why datalog with constraints? 20091124012014A</guid></item></channel></rss>