A short presentation at Luxembourg Pop-Up Science event to promote research to public. An informal presentation of Model-Driven Security in the form of a poem and sung in a Vietnamese Karaoke singing style
Bring back lost lover in USA, Canada ,Uk ,Australia ,London Lost Love Spell C...
A Multilingual, Scientific Poem on Model-Driven Security in a Vietnamese Karaoke Singing Style
1. 5 MINUTES with Model-Driven Security (MDS) &
A Multilingual, Scientific Poem on MDS in a Vietnamese
Karaoke Singing Style!
Phu-Hong Nguyen
PhD candidate,
Interdisciplinary Centre for Security, Reliability and Trust,
University of Luxembourg
11. ICTSS 2010Model-Driven SecurityPhu H. Nguyen 11
Securité? Why to bother?
Internet banking ”tout le monde”!
Smart phone is now a ”must”.
Face-Goog know you that ’s for sure ;)
Moien Letzebuerg, why Secherhect needed?
What if CETREL lost your info
Credit cards would have gone !
Millions of Euros to be lost
SPUERKEESS knows all the cost
Better Secure Systems must be enforced !
Introduction: Why Security important?
12. ICTSS 2010Model-Driven SecurityPhu H. Nguyen 12
How about the MDS method?
Modeling the security concerns for the good
By the hands of the security experts
In a way that they must have understood
On the other hand , the business logic
Taken care by the business modelers
Those to be auto−composed together
Secure systems just one−click further !
Approach: MDS
13. ICTSS 2010Model-Driven SecurityPhu H. Nguyen 13
What so good is also for the code
The language that computers like the most!
Secure code are generated at no cost ;)
From the secure models that we got !
Approach (cont.): MDS
14. ICTSS 2010Model-Driven SecurityPhu H. Nguyen 14
Evaluation: Why MDS good?
Why MDS can be proved?
such as a sound method
for the secure systems to be developed.
First, at no cost to generate secure code .
Time pressure does not need a thought.
Productivity surely that we got .
New threats can be dealt till the source
Just some clicks away from models to code
15. ICTSS 2010Model-Driven SecurityPhu H. Nguyen 15
Evaluation (cont.): Why MDS good?
Second, quality of the product
would it be secure and good?
Yes, of course we can prove
That secure systems are good
By model checking & testing that we did
And last but not least ,
The MDS systems are adaptive
All the new threats to be dealt with
At runtime they can be treated !
And now we reach to the conclusion .
16. ICTSS 2010Model-Driven SecurityPhu H. Nguyen 16
In the more digital world that we live
The more secure-systems we all need
MDS shows us what are great
For the secure systems to be fit :)
Conclusion of the Poem
17. Phu-Hong Nguyen
PhD candidate,
Interdisciplinary Centre for Security, Reliability and Trust,
University of Luxembourg
5 MINUTES with Model-Driven Security (MDS) &
A Multilingual, Scientific Poem on MDS in a Vietnamese
Karaoke Singing Style!
Editor's Notes
Model checking and testing to be leveraged
All the security concerns can be simulated
To make sure the secure systems accomplished !For both security concerns and business logic :)