2270 search results - page 75 / 454 » Modelling Secure IT Systems - A Survey |
HIPEAC
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. This paper presents a new security architecture for protecting software confidentiality and integrity. Different from the previous process-centric systems designed for ...
COOPIS
2003
IEEE
14 years 2 months ago
2003
IEEE
The overall purpose of this article is partly to give a brief overview of the TangO conceptual model, partly to explore the Jini technology as a means for support of pervasive syst...
WSC
2004
13 years 10 months ago
2004
Traditional approaches to security evaluation have been based on penetration testing of real systems, or analysis of formal models of such systems. The former suffer from the prob...
HOTOS
1997
IEEE
14 years 29 days ago
1997
IEEE
The recent trend towards dynamically extensible systems, such as Java, SPIN or VINO, promises more powerful and flexible systems. At the same time, the impact of extensibility on...
OTM
2007
Springer
14 years 2 months ago
2007
Springer
Security is becoming one of the major concerns for web applications and other Internet based services, which are becoming pervasive in all kinds of business models and organization...