Project-Team Cassis
Members
Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub

up Home | Next next

2015 Project-Team Activity Report
CASSIS
Combination of approaches to the security of infinite states systems
Research centre: Nancy - Grand Est
In partnership with: CNRS, Université de Franche-Comté, Université de Lorraine
In collaboration with: Franche-Comté Electronique, Mécanique, Thermique et Optique-Sciences et Technologies, Laboratoire lorrain de recherche en informatique et ses applications (LORIA)

Field: Algorithmics, Programming, Software and Architecture
Theme: Security and Confidentiality
Keywords:
Computer Science and Digital Science:
  • 2.4. - Reliability, certification
  • 2.4.1. - Analysis
  • 2.4.2. - Verification
  • 2.4.3. - Proofs
  • 4. - Security and privacy
  • 4.5. - Formal methods for security
  • 4.6. - Authentication
  • 4.7. - Access control
  • 4.8. - Privacy-enhancing technologies
Other Research Topics and Application Domains:
  • 6. - IT and telecom
  • 6.1.1. - Software engineering
  • 6.3.1. - Web
  • 6.3.2. - Network protocols
  • 6.3.4. - Social Networks
  • 8.5.1. - Participative democracy
  • 9.8. - Privacy