103 search results - page 15 / 21 » Dynamic Secure Aspect Modeling with UML: From Models to Code |
OTM
2007
Springer
14 years 2 months ago
2007
Springer
Ad hoc and peer-to-peer (P2P) computing paradigms pose a number of security challenges. The deployment of classic security protocols to provide services such as node authentication...
CORR
2004
Springer
13 years 7 months ago
2004
Springer
One of the main factors driving object-oriented software development for information systems is the requirement for systems to be tolerant to change. To address this issue in desig...
CODES
2007
IEEE
14 years 2 months ago
2007
IEEE
Performance analysis of microprocessors is a critical step in defining the microarchitecture, prior to register-transfer-level (RTL) design. In complex chip multiprocessor systems...
INDOCRYPT
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. The recently introduced Galois/Counter Mode (GCM) of operation for block ciphers provides both encryption and message authentication, using universal hashing based on mul...
ENTCS
2008
13 years 8 months ago
2008
Modeling natural systems is a complicated task that involves the concurrent behavior of various processes, mechanisms and objects. Here, we describe an approach that we have been ...