489 search results - page 70 / 98 » Reasoning about confidentiality at requirements engineering ... |
106
Voted
SIGSOFT
2003
ACM
16 years 1 months ago
2003
ACM
State machine based formalisms such as labelled transition systems (LTS) are generally assumed to be complete descriptions m behaviour at some level of abstraction: if a labelled ...
EMSOFT
2007
Springer
15 years 6 months ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
110
click to vote
DRM
2005
Springer
15 years 6 months ago
2005
Springer
The domain of digital rights management (DRM) is currently lacking a generic architecture that supports interoperability and reuse of specific DRM technologies. This lack of arch...
109
Voted
SIGADA
2004
Springer
15 years 5 months ago
2004
Springer
Existing security models require that information of a given security level be prevented from “leaking” into lower-security information. High-security applications must be dem...
133
Voted
RE
2006
Springer
15 years 12 days ago
2006
Springer
Aspect-oriented concepts are currently introduced in all phases of the software development life cycle. However, the complexity of interactions among different aspects and between...