Sciweavers

1499 search results - page 52 / 300
» Case Study: An Implementation of a Secure Steganographic Sys...
Sort
View
ASE
2007
121views more  ASE 2007»
15 years 6 months ago
Computer-aided Support for Secure Tropos
In earlier work, we have introduced Secure Tropos, a requirements engineering methodology that extends the Tropos methodology and is intended for the design and analysis of securit...
Fabio Massacci, John Mylopoulos, Nicola Zannone
IJNSEC
2010
145views more  IJNSEC 2010»
15 years 1 months ago
Formal Specification of Common Criteria Based Access Control Policy Model
One of the major threats that an enterprise Information system networks are facing today is the Insider threat. As part of the Insider Threat study, lack of an effective access co...
Manpreet Singh, Manjeet S. Patterh
HICSS
2008
IEEE
161views Biometrics» more  HICSS 2008»
16 years 22 days ago
A Methodological Proposal to Assess the Feasibility of ERP Systems Implementation Strategies
Continuous failures in ERP systems implementation project are today the main challenge in the feasibility of integrated information systems. Failure can be determined by different...
Guido Capaldo, Pierluigi Rippa
CADE
2010
Springer
15 years 7 months ago
Automating Security Analysis: Symbolic Equivalence of Constraint Systems
We consider security properties of cryptographic protocols, that are either trace properties (such as confidentiality or authenticity) or equivalence properties (such as anonymity ...
Vincent Cheval, Hubert Comon-Lundh, Stéphan...
COMPSAC
2008
IEEE
16 years 22 days ago
Security Policy Enforcement in the OSGi Framework Using Aspect-Oriented Programming
The lifecycle mismatch between vehicles and their IT system poses a problem for the automotive industry. Such systems need to be open and extensible to provide customised function...
Phu H. Phung, David Sands