Implement delegation and update surface syntax #437

s-ren · 2022-05-31T19:25:49Z

Instead of declaring a label for each host, we now declare delegation relations between hosts. For example,

// Old syntax:
host alice : A /\ B<-
host bob : B /\ A<-

// New syntax:
host alice
host bob

assume for <- alice trusts bob
assume for <- bob trusts alice

…, IMPLYEQ

…, nonempty_delegation_decl_list, nonempty_host_decl_list, delegation_decl, host_decl.

…, DelegationDeclarationNode, DelegationDeclarationListNode

…ameter. Updated labelExpressions, added congruence classes, and updated SecurityLattice and algebraic systems, and deleted outdated solvers because I give up trying to make it compile

…classes. Further changed a few examples

* origin/master: Update Kiama links Bump mkdocs-material from 8.4.4 to 8.5.6 in /docs (#509) Bump Kotlin to 1.7.20 (#512) Bump kotlin-logging from 2.1.23 to 3.0.0 (#500) Bump log4j-core from 2.18.0 to 2.19.0 (#498) Bump log4j-slf4j-impl from 2.18.0 to 2.19.0 (#499) Bump log4j-core from 2.18.0 to 2.19.0 in /examples (#501) Bump kotlin-logging from 2.1.23 to 3.0.0 in /examples (#502) Bump jvm from 1.7.10 to 1.7.20 in /examples (#508) Bump junit-jupiter-api from 5.9.0 to 5.9.1 (#506) Bump log4j-slf4j-impl from 2.18.0 to 2.19.0 in /examples (#504) Bump mkdocs-material from 8.4.2 to 8.4.4 in /docs (#496)

…election donesn't fail

codecov · 2022-10-12T04:30:03Z

Codecov Report

Merging #437 (b5a03fd) into master (0918b21) will increase coverage by 0.73%.
The diff coverage is 91.72%.

@@             Coverage Diff              @@
##             master     #437      +/-   ##
============================================
+ Coverage     63.15%   63.88%   +0.73%     
+ Complexity     1239     1171      -68     
============================================
  Files           253      243      -10     
  Lines          9854    10010     +156     
  Branches       1430     1468      +38     
============================================
+ Hits           6223     6395     +172     
+ Misses         3367     3349      -18     
- Partials        264      266       +2

Impacted Files	Coverage Δ
...nell/viaduct/algebra/solver2/ConstraintSolution.kt	`100.00% <ø> (ø)`
...l_cornell/viaduct/backends/aby/ABYCodeGenerator.kt	`67.78% <ø> (ø)`
...cornell/viaduct/backends/aby/ABYProtocolFactory.kt	`91.66% <ø> (ø)`
...cornell/viaduct/backends/zkp/ZKPProtocolFactory.kt	`94.28% <ø> (ø)`
...t/errors/IntegrityChangingDeclassificationError.kt	`100.00% <ø> (ø)`
..._cornell/viaduct/errors/NoHostDeclarationsError.kt	`100.00% <ø> (ø)`
...in/io/github/apl_cornell/viaduct/syntax/Located.kt	`100.00% <ø> (ø)`
...n/io/github/apl_cornell/viaduct/syntax/Protocol.kt	`47.50% <ø> (ø)`
...b/apl_cornell/viaduct/protocols/Synchronization.kt	`83.33% <ø> (ø)`
...otlin/io/github/apl_cornell/viaduct/syntax/Host.kt	`0.00% <ø> (ø)`
... and 44 more

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more

cacay

Some additional changes:

Create specialization test
Viaduct source names (i.e., .via files) should be capitalized
Use full words in example file names (.via files. e.g., “polymorphism” instead of “poly”).

labels.via

compiler/tests/should-fail/ConfidentialityChangingEndorsement.via

compiler/tests/should-fail/NoApplicableProtocol.via

compiler/tests/should-fail/NoSelectionSolution.via

compiler/src/main/kotlin/io/github/apl_cornell/viaduct/algebra/LatticeCongruence.kt

compiler/src/main/kotlin/io/github/apl_cornell/viaduct/backends/cleartext/Replication.kt

compiler/src/main/kotlin/io/github/apl_cornell/viaduct/backends/commitment/Commitment.kt

compiler/src/main/kotlin/io/github/apl_cornell/viaduct/backends/zkp/ZKP.kt

compiler/src/main/kotlin/io/github/apl_cornell/viaduct/analysis/InformationFlowAnalysis.kt

shared/src/main/kotlin/io/github/apl_cornell/viaduct/syntax/Host.kt

cacay

Some more minor comments.

...er/src/main/kotlin/io/github/apl_cornell/viaduct/syntax/intermediate/TopLevelDeclarations.kt

compiler/src/main/kotlin/io/github/apl_cornell/viaduct/syntax/surface/TopLevelDeclarations.kt

* origin/master: Switch to log4j-slf4j2-impl so it works with kotlin-logging (#514)

…gation

s-ren and others added 30 commits February 28, 2022 17:02

added test files in delegation syntax

b499b4a

added delegation counterparts of code generation tests

0941cdf

lexer/parser: added terminal symbols HOSTS, PRINCIPALS, ASSUME, IMPLY…

7b8076d

…, IMPLYEQ

lexer/parser: delete PRINCIPALS

0442cd3

lexer/parser: added nontermials: delegation_decl_list, host_decl_list…

acd3824

…, nonempty_delegation_decl_list, nonempty_host_decl_list, delegation_decl, host_decl.

added TopLevelDeclarations in surface syntax: HostDeclarationListNode…

26e671f

…, DelegationDeclarationNode, DelegationDeclarationListNode

still doesn't compile because of Cap host in protocol selection.

b0c73cc

still doesn't compile because of Cap host in protocol selection.

d741099

delegted delegation testing files

b6f8b94

added delegation tests

0019a8e

removed delegation files

989c91c

Merge branch 'master' into delegation

f6733f8

test cases for new delegation syntax

9c9cd82

added parsing

e13f098

Add new solver template

fb8761f

parser update

0006e41

merging

d24ac0e

merging

a1f30a4

done updating parser/surface level

5a1ae70

fixed elaboration and specialization function signature

8f236ab

Merge branch 'master' of github.com:apl-cornell/viaduct into delegation

015affa

completed and tested surface/inermediate changes

c565542

updated parser and nodes to have the correct labelliteral & label par…

eca0625

…ameter. Updated labelExpressions, added congruence classes, and updated SecurityLattice and algebraic systems, and deleted outdated solvers because I give up trying to make it compile

deleted original IFC file and fixed compile issues in IFC2

e09234b

Merge branch 'master' of github.com:apl-cornell/viaduct into delegation

f9feeff

updated imports

4f97e31

updated imports

af62324

format files

b828715

tried to update declassificationNode

789465f

finished informationflow checking

28ab53f

s-ren and others added 15 commits October 8, 2022 20:31

abstracted Label -> LabelExpression functionality

6da620f

refactored flowsTo in IFCAnalysis to add support more specific error …

39bc7ef

…classes. Further changed a few examples

Delete unnecessary IntelliJ file

2e0cf29

Fix package name regression

f5e767b

Fix label solver tests

d9a4ec1

Fix delegation direction in fail test

c71f1ad

Throw correct error when pc flow is insecure

e44566f

Simplify format command in the CLI

e149699

Run protocol analysis on specialized programs

17d9dda

Undo change to ktlint settings

35d7435

Update label syntax for programs in ./examples

a925aaf

Update label syntax for interpreter tests

841cea2

added common trusted hosts to polymorphic examples so that protocol s…

cd2092e

…election donesn't fail

Fix tests under ./examples

2e8a1b8

Fix Local test so ABY is not used

7e66612

cacay marked this pull request as ready for review October 15, 2022 21:52

cacay requested changes Oct 15, 2022

View reviewed changes

...er/src/main/kotlin/io/github/apl_cornell/viaduct/syntax/intermediate/TopLevelDeclarations.kt Outdated Show resolved Hide resolved

compiler/src/main/kotlin/io/github/apl_cornell/viaduct/syntax/surface/TopLevelDeclarations.kt Outdated Show resolved Hide resolved

cacay and others added 7 commits October 15, 2022 22:06

Add (disabled) test for manually looking at error messages

ec0fd93

Merge remote-tracking branch 'origin/master' into delegation

fe1e5d8

* origin/master: Switch to log4j-slf4j2-impl so it works with kotlin-logging (#514)

added confidentiality error class

83ab66c

Merge branch 'delegation' of github.com:apl-cornell/viaduct into dele…

6695ec1

…gation

addressed problems in comment

4416cf4

addressed a few final feedbacks

469f204

Fix inferred label printing

b5a03fd

cacay changed the title ~~Delegation~~ Implement delegation and update surface syntax Oct 22, 2022

cacay merged commit 561f367 into master Oct 22, 2022

cacay deleted the delegation branch October 22, 2022 03:03

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Implement delegation and update surface syntax #437

Implement delegation and update surface syntax #437

s-ren commented May 31, 2022 •

edited by cacay

Loading

codecov bot commented Oct 12, 2022 •

edited

Loading

cacay left a comment

cacay left a comment

Implement delegation and update surface syntax #437

Implement delegation and update surface syntax #437

Conversation

s-ren commented May 31, 2022 • edited by cacay Loading

codecov bot commented Oct 12, 2022 • edited Loading

Codecov Report

cacay left a comment

Choose a reason for hiding this comment

cacay left a comment

Choose a reason for hiding this comment

s-ren commented May 31, 2022 •

edited by cacay

Loading

codecov bot commented Oct 12, 2022 •

edited

Loading