2270 search results - page 99 / 454 » Modelling Secure IT Systems - A Survey |
HICSS
2007
IEEE
14 years 3 months ago
2007
IEEE
Security breaches deter e-commerce activities. Organizations spend millions of dollars on security appliances to make online transactions more secure. Nonetheless, a new virus or ...
HICSS
2005
IEEE
14 years 2 months ago
2005
IEEE
The concept of relevance has been heatedly debated in last decade. Not satisfied with the narrow and technical definition of system relevance, researchers turn to the subjective a...
IEEEARES
2010
IEEE
14 years 3 months ago
2010
IEEE
Abstract—The differences between the fields of HumanComputer Interaction and Security (HCISec) and HumanComputer Interaction (HCI) have not been investigated very closely. Many ...
ER
1998
Springer
14 years 1 months ago
1998
Springer
The practical implementation and use of a mediator for fixed income securities analysis demonstrated the potential for extending the application of conceptual modeling from the sys...
IEEEHPCS
2010
13 years 7 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...