Add spec file
Update specification.md
Concept and constraints
Update contraints
add information about binding
Security
Merge branch 'master' into develop