Skip to content

Security generation fixes and Security testing model

Letitia Li requested to merge labsoc_sec into master

Confidentiality is now only allowed on origin channels, Authenticity is only on destination channels.

Security generation now works on channels with different port names, and also on fork/join channels.

Also, a security testing model has been added.

Merge request reports