Skip to content
/ haskalladio Public

Haskell and Prolog Protoype Implementations of the Palladio Model Access Analysis

0 stars 0 forks Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

KASTEL-SCBS/haskalladio

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

363 Commits
Graphs
Graphs
 
 
Instances
Instances
 
 
Noninterference
Noninterference
 
 
WithReasons
WithReasons
 
 
XSB
XSB
 
 
doc
doc
 
 
eclipsefp
eclipsefp
 
 
.gitignore
.gitignore
 
 
AbstractAnalysis.hs
AbstractAnalysis.hs
 
 
ComplexLinkModel.hs
ComplexLinkModel.hs
 
 
ComponentInformationFlow.hs
ComponentInformationFlow.hs
 
 
GraphBasedAnalysis.hs
GraphBasedAnalysis.hs
 
 
InterfaceUsageByGroup.hs
InterfaceUsageByGroup.hs
 
 
InterfaceUsageByUI.hs
InterfaceUsageByUI.hs
 
 
InterfaceUsageExplicit.hs
InterfaceUsageExplicit.hs
 
 
InterfaceUsageImplicitByLocation.hs
InterfaceUsageImplicitByLocation.hs
 
 
LocationAccessModelAttackTree.hs
LocationAccessModelAttackTree.hs
 
 
LocationAccessModelExplicit.hs
LocationAccessModelExplicit.hs
 
 
Makefile
Makefile
 
 
Misc.hs
Misc.hs
 
 
Noninterference.lhs
Noninterference.lhs
 
 
NoninterferenceGreiner.lhs
NoninterferenceGreiner.lhs
 
 
Palladio.hs
Palladio.hs
 
 
Queries.hs
Queries.hs
 
 
README.md
README.md
 
 
Reasons.hs
Reasons.hs
 
 
ReasonsModel.hs
ReasonsModel.hs
 
 
Refinement.hs
Refinement.hs
 
 
Security.hs
Security.hs
 
 
SimpleLinkModel.hs
SimpleLinkModel.hs
 
 
SimpleLinkModelWithExceptions.hs
SimpleLinkModelWithExceptions.hs
 
 
TamperableLinkModel.hs
TamperableLinkModel.hs
 
 
Unicode.hs
Unicode.hs
 
 
hscolour.css
hscolour.css
 
 
overview.pdf
overview.pdf
 
 
overview.svg
overview.svg
 
 

Repository files navigation

The up to date access analysis in Prolog can be found in the XSB/ subdirectory.

The Noninterference/ subdirectory contains definitions for two different interpretations of the 'mayKnow' specification elements, and predicates to validate their equivalence.

About

Haskell and Prolog Protoype Implementations of the Palladio Model Access Analysis

Resources

Readme

Security policy

Security policy
Activity
Custom properties

Stars

0 stars

Watchers

5 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published

Contributors 2

  •  
  •  

Languages