1352 search results - page 198 / 271 » Designing Security Requirements Models Through Planning |
DATE
2007
IEEE
14 years 3 months ago
2007
IEEE
An emerging common trend in model-based design of embedded software and systems is the adoption of Domain-Specific Modeling Languages (DSMLs). While syntax metamodeling enables th...
HASKELL
2007
ACM
14 years 23 days ago
2007
ACM
This paper describes the design and construction of a Haskell source-level debugger built into the GHCi interactive environment. We have taken a pragmatic approach: the debugger i...
FOSSACS
2005
Springer
14 years 2 months ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
INFOCOM
2010
IEEE
13 years 7 months ago
2010
IEEE
—Privacy-Preserving Authentication (PPA) is crucial for Radio Frequency Identifcation (RFID)-enabled applications. Without appropriate formal privacy models, it is difficult for...
DIMVA
2009
13 years 10 months ago
2009
The use of dynamic access control policies for threat response adapts local response decisions to high level system constraints. However, security policies are often carefully tigh...