GitHub - brownplt/piton: Formal models exploring identity and capabilities.

brownplt / piton Public

Notifications You must be signed in to change notification settings
Fork 0
Star 1

Formal models exploring identity and capabilities.

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 7 Commits
README		README
caps.als		caps.als
echo-server.als		echo-server.als
examples.als		examples.als
naturals.als		naturals.als
paranoid-server.als		paranoid-server.als

Repository files navigation

-----
Piton
-----

Formal models for identity- and capability-based reasoning on the web.

Files:

naturals.als

  Describes natural numbers (used to represent time)

caps.als

  The main definitions of capability-based interactions.  Defines what
  a CapServer is, and the various operations that can be performed on
  one.

examples.als

  Sanity tests for caps.als.  Ensures that the various operations can
  be performed, and will have more basic assertions added.

echo-server.als

  Defines a server that responds to all invocations with exactly the
  arguments that were supplied.