Scollar - Revision history

Fred at 10:50, 31 May 2009

Fred — Sun, 31 May 2009 10:50:55 GMT

New page

== What is Scoll (and Scollar) ? ==
''Scoll'' is a tool-based approach to help design and develop secure programs. It involves:
* a declarative language to express safety problems that are relevant to software developers: "Safe collaboration language".
* a tool to solve these problems: ''Scollar''
* a datalog based formalism "KBM" (Knowledge Behavior Models) gives Scoll its formal semantics

== Scoll is an Open Source Project==
[http://www.scoll.evoluware.eu The home page of the Scoll Project]
* [http://www.scoll.evoluware.eu/scolldoc.html the online documentation about Scoll and Scollar]
* [http://developer.berlios.de/projects/scollar/ the Oz code for the Scollar backend component]
* [http://developer.berlios.de/projects/swingscollar/ the Java code for the GUI component of Scollar (SwingScollar)]

== Publications on Scoll ==
* [http://www.evoluware.eu/scoll/fastscoll.pdf "Know What You Trust: Analyzing and Designing Trust Policies with Scoll"], Fred Spiessens, Jerry den Hartog, and Sandro Etallein "Formal Aspects in Security and Trust", LNCS 5491, April 2009, pg.129-142.
* [http://www.evoluware.eu/fsp_thesis.pdf "Patterns of Safe Collaboration"], Fred Spiessens' PhD Thesis, February 2009, UcL Louvain-la-Neuve.
* [http://www.info.ucl.ac.be/~pvr/tgc05fs.pdf "A Practical Formal Model for Safety Analysis in Capability-Based Systems"], Fred Spiessens and Peter Van Roy, in "Trustworthy Global Computing", LNCS 3705, december 2005, pg. 248-278.
* [http://www.info.ucl.ac.be/~pvr/rr2005-12.pdf "Scoll and Scollar: Safe collaboration based on partial trust"], Fred Spiessens, Yves Jaradin, and Peter Van Roy, Technical Report, 2005 , UcL Louvain-la-Neuve.
* [http://www.info.ucl.ac.be/~pvr/rr2005-11.pdf "Using Constraints To Analyze And Generate Safe Capability Patterns"], Fred Spiessens, Yves Jaradin, and Peter Van Roy, Technical Report, 2005 , UcL Louvain-la-Neuve.
* [http://www.info.ucl.ac.be/~pvr/rr2005-10.pdf "SCOLL: A language for safe capability based collaboration"], Yves Jaradin, Fred Spiessens, Peter Van Roy, Technical Report, 2005, UcL Louvain-la-Neuve.

[[Category:Applications]]
[[Category:Formal Reasoning]]

Fred at 10:49, 31 May 2009

Fred — Sun, 31 May 2009 10:49:56 GMT

←Older revision		Revision as of 10:49, 31 May 2009
Line 1:		Line 1:
-	~~[http://www.info.ucl.ac.be/~fsp/scollardoc.html~~ Scoll and Scollar~~] analyze safety in patterns of collaborating entities. It~~ is based ~~on Fred's thesis~~: ~~[http~~:~~//www.evoluware.eu/fsp_thesis.pdf Patterns of~~ Safe ~~Collaboration]~~.	+	== What is Scoll (and Scollar) ? ==
		+	''Scoll'' is a tool-based approach to help design and develop secure programs. It involves:
		+	* a declarative language to express safety problems that are relevant to software developers: "Safe collaboration language".
		+	* a tool to solve these problems: ''Scollar''
		+	* a datalog based formalism "KBM" (Knowledge Behavior Models) gives Scoll its formal semantics

-	~~See also~~ [http://www.info.ucl.ac.be/~pvr/rr2005-12.pdf Scoll and Scollar: Safe collaboration based on partial trust] and [http://www.info.ucl.ac.be/~~~fsp~~/~~SCOLL~~.pdf SCOLL: A language for safe capability based collaboration].	+	== Scoll is an Open Source Project==
		+	[http://www.evolwuare.eu The home page of the Scoll Project]
		+	* [http://www.scoll.evoluware.eu/scolldoc.html the online documentation about Scoll and Scollar]
		+	* [http://developer.berlios.de/projects/scollar/ the Oz code for the Scollar backend component]
		+	* [http://developer.berlios.de/projects/swingscollar/ the Java code for the GUI component of Scollar (SwingScollar)]
		+
		+	== Publications on Scoll ==
		+	* [http://www.evoluware.eu/scoll/fastscoll.pdf "Know What You Trust: Analyzing and Designing Trust Policies with Scoll"], Fred Spiessens, Jerry den Hartog, and Sandro Etallein "Formal Aspects in Security and Trust", LNCS 5491, April 2009, pg.129-142.
		+	* [http://www.evoluware.eu/fsp_thesis.pdf "Patterns of Safe Collaboration"], Fred Spiessens' PhD Thesis, February 2009, UcL Louvain-la-Neuve.
		+	* [http://www.info.ucl.ac.be/~pvr/tgc05fs.pdf "A Practical Formal Model for Safety Analysis in Capability-Based Systems"], Fred Spiessens and Peter Van Roy, in "Trustworthy Global Computing", LNCS 3705, december 2005, pg. 248-278.
		+	* [http://www.info.ucl.ac.be/~pvr/rr2005-12.pdf "Scoll and Scollar: Safe collaboration based on partial trust"], Fred Spiessens, Yves Jaradin, and Peter Van Roy, Technical Report, 2005 , UcL Louvain-la-Neuve.
		+	* [http://www.info.ucl.ac.be/~pvr/rr2005-11.pdf "Using Constraints To Analyze And Generate Safe Capability Patterns"], Fred Spiessens, Yves Jaradin, and Peter Van Roy, Technical Report, 2005 , UcL Louvain-la-Neuve.
		+	* [http://www.info.ucl.ac.be/~pvr/rr2005-10.pdf "SCOLL: A language for safe capability based collaboration"], Yves Jaradin, Fred Spiessens, Peter Van Roy, Technical Report, 2005, UcL Louvain-la-Neuve.


	[[Category:Applications]]		[[Category:Applications]]
	[[Category:Formal Reasoning]]		[[Category:Formal Reasoning]]

Markm at 22:54, 14 November 2007

Markm — Wed, 14 Nov 2007 22:54:48 GMT

←Older revision		Revision as of 22:54, 14 November 2007
Line 1:		Line 1:
-	[http://www.info.ucl.ac.be/~fsp/scollardoc.html Scoll and Scollar] analyze safety in patterns of collaborating entities. It is based on Fred's thesis: [http://www.evoluware.eu/fsp_thesis.pdf Patterns of Safe Collaboration].	+	[http://www.info.ucl.ac.be/~fsp/scollardoc.html Scoll and Scollar] analyze safety in patterns of collaborating entities. It is based on Fred's thesis: [http://www.evoluware.eu/fsp_thesis.pdf Patterns of Safe Collaboration].
		+
		+	See also [http://www.info.ucl.ac.be/~pvr/rr2005-12.pdf Scoll and Scollar: Safe collaboration based on partial trust] and [http://www.info.ucl.ac.be/~fsp/SCOLL.pdf SCOLL: A language for safe capability based collaboration].


	[[Category:Applications]]		[[Category:Applications]]
	[[Category:Formal Reasoning]]		[[Category:Formal Reasoning]]

Markm at 00:40, 31 October 2007

Markm — Wed, 31 Oct 2007 00:40:49 GMT

←Older revision		Revision as of 00:40, 31 October 2007
Line 1:		Line 1:
-	[http://www.info.ucl.ac.be/~fsp/scollardoc.html Scoll and Scollar] analyze safety in patterns of collaborating entities.	+	[http://www.info.ucl.ac.be/~fsp/scollardoc.html Scoll and Scollar] analyze safety in patterns of collaborating entities. It is based on Fred's thesis: [http://www.evoluware.eu/fsp_thesis.pdf Patterns of Safe Collaboration].


	[[Category:Applications]]		[[Category:Applications]]
	[[Category:Formal Reasoning]]		[[Category:Formal Reasoning]]

Markm at 00:09, 31 October 2007

Markm — Wed, 31 Oct 2007 00:09:11 GMT

←Older revision		Revision as of 00:09, 31 October 2007
Line 3:		Line 3:

	[[Category:Applications]]		[[Category:Applications]]
-	[[Category:Formal ~~reasoning~~]]	+	[[Category:Formal Reasoning]]

Markm at 00:08, 31 October 2007

Markm — Wed, 31 Oct 2007 00:08:32 GMT

←Older revision		Revision as of 00:08, 31 October 2007
Line 1:		Line 1:
-	~~== What is Scoll (and Scollar) ? ==~~	+	[http://www.info.ucl.ac.be/~fsp/scollardoc.html Scoll and Scollar] analyze safety in patterns of collaborating entities.
-	~~''Scoll'' is a tool-based approach to help design and develop secure programs. It involves:~~	+
-	* a declarative language to express safety problems that are relevant to software developers: "Safe collaboration language".	+
-	* a tool to solve these problems: ''Scollar''	+
-	* a datalog based formalism "KBM" (Knowledge Behavior Models) gives Scoll its formal semantics	+
-		+
-	~~== Scoll is an Open Source Project==~~	+
-	~~[http://www.scoll.evoluware.eu The home page of the Scoll Project]~~	+
-	* [http://www.scoll.evoluware.eu/scolldoc.html the online documentation about Scoll and Scollar]	+
-	* [http://developer.berlios.de/projects/scollar/ the Oz code for the Scollar backend component]	+
-	* [http://developer.berlios.de/projects/swingscollar/ the Java code for the GUI component of Scollar (SwingScollar)]	+
-		+
-	~~== Publications on Scoll ==~~	+
-	* [http://www.evoluware.eu/scoll/fastscoll.pdf "Know What You Trust: Analyzing and Designing Trust Policies with Scoll"], Fred Spiessens, Jerry den Hartog, and Sandro Etallein "Formal Aspects in Security and Trust", LNCS 5491, April 2009, pg.129-142.	+
-	* [http://www.evoluware.eu/fsp_thesis.pdf "Patterns of Safe Collaboration"], Fred Spiessens' PhD Thesis, February 2009, UcL Louvain-la-Neuve.	+
-	* [http://www.info.ucl.ac.be/~~~pvr~~/~~tgc05fs~~.~~pdf "A Practical Formal Model for Safety Analysis in Capability-Based Systems"], Fred Spiessens and Peter Van Roy, in "Trustworthy Global Computing", LNCS 3705, december 2005, pg. 248-278.~~	+
-	* [http://www.info.ucl.ac.be/~pvr/rr2005-12.pdf "Scoll and Scollar~~: Safe collaboration based on partial trust"~~]~~, Fred Spiessens, Yves Jaradin, and Peter Van Roy, Technical Report, 2005 , UcL Louvain-la-Neuve.~~	+
-	* [http://www.info.ucl.ac.be/~pvr/rr2005-11.pdf "Using Constraints To Analyze And Generate Safe Capability Patterns"], Fred Spiessens, Yves Jaradin, and Peter Van Roy, Technical Report, 2005 , UcL Louvain-la-Neuve.	+
-	* [http://www.info.ucl.ac.be/~pvr/rr2005-10.pdf "SCOLL: A language for safe capability based collaboration"], Yves Jaradin, Fred Spiessens, Peter Van Roy, Technical Report, 2005, UcL Louvain-la-Neuve.	+


	[[Category:Applications]]		[[Category:Applications]]
-	[[Category:Formal ~~Reasoning~~]]	+	[[Category:Formal reasoning]]