2270 search results - page 117 / 454 » Modelling Secure IT Systems - A Survey |
REFSQ
2010
Springer
2010
Springer
Towards a Framework to Elicit and Manage Security and Privacy Requirements from Laws and Regulations
13 years 10 months ago
[Context and motivation] The increasing demand of software systems to process and manage sensitive information has led to the need that software systems should comply with relevant...
COMPSAC
2010
IEEE
13 years 5 months ago
2010
IEEE
Security analysis methods can provide correct yet meaningless results if the assumptions underlying the model do not conform to reality. We present an approach to analyze the secur...
SEFM
2007
IEEE
14 years 3 months ago
2007
IEEE
We model security protocols as a game tree using concepts of game semantics. Using this model we ascribe semantics to protocols written in the standard simple arrow notation. Acco...
GI
2003
Springer
14 years 2 months ago
2003
Springer
: The Byzantine failure model allows arbitrary behavior of a certain fraction of network nodes in a distributed system. It was introduced to model and analyze the effects of very s...
ICRA
1993
IEEE
14 years 1 months ago
1993
IEEE
A survey of blackboard robotics applications shows the improvements of blackboard models used in telerobotics and autonomous robots from the use of sequential blackboard in the ro...