739 search results - page 117 / 148 » A security framework for the analysis and design of software... |
EUROSYS
2008
ACM
14 years 4 months ago
2008
ACM
When computer systems are compromised by an attack, it is difficult to determine the precise extent of the damage caused by the attack because the state changes made by an attack...
CCS
2008
ACM
13 years 9 months ago
2008
ACM
As cryptographic protocols execute they accumulate information such as values and keys, and evidence of properties about this information. As execution proceeds, new information b...
PLDI
2009
ACM
14 years 2 months ago
2009
ACM
Modern websites are powered by JavaScript, a flexible dynamic scripting language that executes in client browsers. A common paradigm in such websites is to include third-party Ja...
ECMDAFA
2006
Springer
13 years 11 months ago
2006
Springer
Building service-based architectures has become a major area of interest since the advent of Web services. Modelling these architectures is a central activity. Model-driven archite...
ER
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. The UML-based Specification Environment (USE) tool supports the syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/pos...