624 search results - page 39 / 125 » Application of Lightweight Formal Methods to Software Securi... |
120
click to vote
ACMSE
2006
ACM
15 years 10 months ago
2006
ACM
In this paper, we propose several methods to increase the difficulty of reverse engineering applications, with special emphasis on preventing the circumvention of copy protection ...
115
click to vote
FMICS
2008
Springer
15 years 5 months ago
2008
Springer
There has been relatively little work on the implementability of timing requirements. We have previously provided definitions of fundamental timing operators that explicitly consid...
134
click to vote
EUROMICRO
1996
IEEE
15 years 8 months ago
1996
IEEE
SHE (Software/Hardware Engineering) is an objectoriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal speci...
159
click to vote
HCI
2009
15 years 2 months ago
2009
The design of safety critical systems calls for advanced software engineering models, methods and tools in order to meet the safety requirements that will avoid putting human life ...
140
click to vote
FM
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is pre...