The SENSORIA project exploited logic developments, type systems and static analysis techniques to develop tools and methods for guaranteeing a high level of security and trust for the location transparent delivery of services while allowing mobility of resources.

Deliverables

• D3.1.a: Techniques for Security and Trust for Services
• D3.2.a: Approaches to Resource Usage of Mobile Services
• D3.3.a: An Overview of Techniques for Behavioural Properties
• D3.a:  Advances in Analysis Technology
  
• D3.b: Challenging Analysis Scenarios and Language Primitives
• D3.c: Analysis Results for Scenarios and Language Primitives
• D3.d: Tools and Verification