Massacci Fabio Università degli Studi di Trento

Tesi

TOPICS

Automated Reasoning and verification, Computer security and privacy, Security Requirements Engineering, Audit and accountability

More details are available below:

• Logical Cryptanalysis as a SAT problem (More details)
• The SI* Requirements Enginenering Methodology (More details)
• Intrusion Detection for Sensors Network (More details)
• Trust Negotiation (More Details)
• Security Metrics for Business Processes (More Details)
• Formal policies for mobile code
• Run-time security monitors (More details)
• Decision Procedures for Automata Modulo Theory (More details)

REQUIREMENTS

BSc and MSc students must participate to the group meetings and to the project meetings. Normally these are held in English.

There are only two exceptions for the rule above:

• you are an exceptional student with a brilliant idea.
• you are doing a "industry-based" thesis with a company and you just need an academic advisor

In all cases, the thesis must be in English and must be written in LaTeX.

segnalazioni | copyright | privacy | credits