2422 search results - page 255 / 485 » Security Policy Consistency |
159
Voted
HUC
2009
Springer
15 years 11 months ago
2009
Springer
Future homes will be populated with large numbers of robots with diverse functionalities, ranging from chore robots to elder care robots to entertainment robots. While household r...
146
Voted
IANDC
2008
15 years 6 months ago
2008
Automatic security protocol analysis is currently feasible only for small protocols. Since larger protocols quite often are composed of many small protocols, compositional analysi...
188
click to vote
WWW
2011
ACM
15 years 1 months ago
2011
ACM
Mashups on traditional desktop devices are a well-known source of security risks. In this paper, we examine how these risks translate to mobile mashups and identify new risks caus...
151
click to vote
IEEEARES
2007
IEEE
16 years 28 days ago
2007
IEEE
The catchword “compliance” dominates the actual debate about Identity Management and information security like few before. Companies need to comply with a variety of internal ...
179
click to vote
KBSE
2005
IEEE
16 years 6 days ago
2005
IEEE
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...