1 |
A Unified Formal Model for Service Oriented Architecture to Enforce Security Contracts
|
|
|
|
In: AOSD 2012 Student Research Competition (Poster) ; https://hal.inria.fr/hal-00668999 ; AOSD 2012 Student Research Competition (Poster), Mar 2012, Potsdam, Germany. pp.9-10, ⟨10.1145/2162110.2162120⟩ (2012)
|
|
BASE
|
|
Show details
|
|
|
|