1288 search results - page 46 / 258 » Securing aspect composition |
FOSSACS
2009
Springer
14 years 3 months ago
2009
Springer
Although cryptographic protocols are typically analyzed in isolation, they are used in combinations. If a protocol was analyzed alone and shown to meet some security goals, will it...
ISPEC
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Access control is a system-wide concern that has both a generic nature and an application dependent characteristic. It is generic as many functions must be protected with...
ESORICS
2000
Springer
14 years 19 days ago
2000
Springer
Abstract. We present a generic formal security model for operating systems of multiapplicative smart cards. The model formalizes the main security aspects of secrecy, integrity, se...
MOZ
2004
Springer
14 years 2 months ago
2004
Springer
Strasheela provides a means for the composer to create a symbolic score by formally describing it in a rule-based way. The environment defines a rich music representation for comp...
UML
2004
Springer
14 years 2 months ago
2004
Springer
An aspect-oriented design model consists of a set of aspect models and a primary model. Each of these models consists of a number of different kinds of UML diagrams. The models mus...