Add spec file
Update specification.md
Concept and constraints
Update contraints
add information about binding
Security