2429 search results - page 11 / 486 » Using Aspects to Design a Secure System |
OOPSLA
2010
Springer
13 years 6 months ago
2010
Springer
Web sites and web browsers have recently evolved into platforms on top of which entire applications are delivered dynamically, mostly as JavaScript source code. This delivery form...
APSEC
2009
IEEE
13 years 5 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
BIRTHDAY
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Goguen emphasized long ago that colimits are how to compose systems [7]. This paper corroborates and elaborates Goguen's vision by presenting a variety of situations...
SIS
2004
13 years 9 months ago
2004
In this paper we outline a new process model for security engineering. This process model extends object oriented, use case driven software development by the systematic treatment ...
DAMON
2006
Springer
13 years 11 months ago
2006
Springer
Secure coprocessors have traditionally been used as a keystone of a security subsystem, eliminating the need to protect the rest of the subsystem with physical security measures. ...