| Title: |
ASSERT4SOA : Advanced Security Service cERTificate for SOA |
| Website: |
http://www.assert4soa.eu |
| Funding: |
5.4 million euro (6 Partners) |
| Sponsor:: |
European Community 7th Framework Programme |
| Project:: |
ICT Project Information |
| Dates:: |
Start: October 2010 - End: October 2013 |
| Roles:: |
Formal Certification Models and Verification |
| Details: |
FosterEvolution is providing core verification mechanisms to uphold Security policies and properties in an SOA. |