mlswg / mls-implementations

Coordination of implementation and interop specific details
110 stars 14 forks source link

Improve active-to-passive #160

Closed bifurcation closed 1 year ago

bifurcation commented 1 year ago

This PR makes a few changes to improve the active-to-passive test translation:

I have verified that the overall system holds together with MLSpp:

# Run the MLSpp interop harness
mlspp_client -live 50001

# Generate the passive tests
./active_to_passive.sh

# Verify the passive tests in MLSpp
for name in `ls passive`
do
  # 13 == passive client test vector
  mlspp_client -ver 13 <$name
done

Note that there are some tests that do not result in any passive client tests right now, for example, the application data protection tests. This is largely because we are creating groups with external_join, and will get better once #144 is fixed