2270 search results - page 16 / 454 » Modelling Secure IT Systems - A Survey |
RIVF
2003
13 years 10 months ago
2003
— The en-route conflict resolution remains a major concern for Air Traffic Management (ATM), especially in core European airspace where the current Air Traffic Control (ATC) syst...
FM
2006
Springer
14 years 8 days ago
2006
Springer
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...
HICSS
2006
IEEE
14 years 2 months ago
2006
IEEE
There are today several methods and standards available for assessment of the level of information security in an enterprise. A problem with these assessment methods is that they ...
LAWEB
2005
IEEE
14 years 2 months ago
2005
IEEE
In today’s e-commerce environment, information is an incredibly valuable asset. Surveys indicate that companies are suffering staggering financial losses due to web security iss...
HICSS
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— In recent years business-to-business (B2B) ecommerce has been subject to major rethinking. A paradigm shift from document centric file-based interchange of business in...