2513 search results - page 4 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
ICSE
2009
IEEE-ACM
13 years 7 months ago
2009
IEEE-ACM
Verifying security properties of protocols requires developers to manually create protocol-specific intruder models, which could be tedious and error prone. We present Slede, a ve...
IAT
2010
IEEE
13 years 7 months ago
2010
IEEE
ASEME is an emerging Agent Oriented Software Engineering (AOSE) methodology. The Model-Driven Engineering (MDE) paradigm encourages software modelers to automate the transition of...
VAMOS
2008
Springer
13 years 11 months ago
2008
Springer
In this paper, we introduce the concept of metavariability, i.e., variability with respect to basic variability attributes like binding time or constraints. While the main focus o...
EUROMICRO
2009
IEEE
14 years 4 months ago
2009
IEEE
COMPSAC
2004
IEEE
14 years 1 months ago
2004
IEEE
Many developers who could benefit from building and analysing formal models of their systems are deterred from doing so by the process algebra style input languages of formal mode...