276 search results - page 9 / 56 » Security in Context: Analysis and Refinement of Software Arc... |
ISPW
2005
IEEE
14 years 28 days ago
2005
IEEE
Abstract. Answering “macro-process” research issues – which require understanding how development processes fit or do not fit in different organizational systems and environm...
WIMOB
2007
IEEE
14 years 1 months ago
2007
IEEE
—In this paper we investigate the issues in designing key management architecture for secure multicasting in remote software distribution to advance vehicles. We consider the Veh...
KBSE
2010
IEEE
13 years 5 months ago
2010
IEEE
We present a semi-automated approach, Secoria, for analyzing a security runtime architecture for security and for conformance to an object-oriented implementation. Typecheckable a...
CCS
2008
ACM
13 years 9 months ago
2008
ACM
The specifications of an application's security configuration are crucial for understanding its security policies, which can be very helpful in security-related contexts such...
CAISE
2006
Springer
13 years 11 months ago
2006
Springer
The quest for designing secure and trusted software has led to refined Software Engineering methodologies that rely on tools to support the design process. Automated reasoning mech...