automated reverse engineering of uml sequence ... - FBK | SE

More documents

Recommendations

Info

CONTEXT Part of a FrameworkPHP TXLGrammarTXLTransformationRulesPHPDocumentsMySql TXLGrammarTXLTransformationRulesDatabaseschema Role-based access controlsecurity testing usingmodel checking [C3S2E09]Identification ofUsers, Roles,ResourcesXMI SecureUMLModelStatic AnalysisInstrumentationStaticAnalysisXMI to FormalModeltransformationAccess controlpropertiesMutantOperatorsInstrumentedPHP documentsStaticInformationModelCheckerRandomUserInputMutantInstrumentedPHP documentsSequenceDiagramClassDiagramCorrectCounterExampleExecutionTracesDynamicInformation
CONTEXT PHP2XMIPHP TXLGrammarTXLTransformationRulesPHPDocumentsMySql TXLGrammarTXLTransformationRulesDatabaseschema Used to recover rolepermissions at the level ofpage access (this work)Identification ofUsers, Roles,ResourcesXMI SecureUMLModelStatic AnalysisInstrumentationStaticAnalysisXMI to FormalModeltransformationAccess controlpropertiesMutantOperatorsInstrumentedPHP documentsStaticInformationModelCheckerRandomUserInputMutantInstrumentedPHP documentsSequenceDiagramClassDiagramCorrectCounterExampleExecutionTracesDynamicInformation
Page 4 and 5: WEB APPLICATION CHALLENGES Identifi
Page 6 and 7: GOALS & CONTRIBUTIONS A new reverse
Page 8 and 9: PHP2XMI - APPROACHDynamic PHPWeb Ap
Page 10 and 11: PHP2XMI - APPROACHDynamic PHPWeb Ap
Page 12 and 13: STAGE 1 - INSTRUMENTDynamic PHPWeb
Page 14 and 15: STAGE 1 - INSTRUMENT Parsing and in
Page 16 and 17: STAGE 2 - EXERCISEDynamic PHPWeb Ap
Page 18 and 19: STAGE 2 - EXERCISE Automatic dynami
Page 20 and 21: STAGE 3 - EXTRACT MODELDynamic PHPW
Page 22 and 23: Browser session and unique pages //
Page 24 and 25: CURRENT STATUSPHP TXLGrammarTXLTran
Page 26 and 27: CURRENT STATUSPHP TXLGrammarTXLTran
Page 28 and 29: CONCLUSION PHP2XMI: a new reverse e
Page 30: ?AUTOMATEDQUESTIONS?REVERSE ENGINEE

automated reverse engineering of uml sequence ... - FBK | SE

Create successful ePaper yourself

Delete template?

Save as template?