2270 search results - page 146 / 454 » Modelling Secure IT Systems - A Survey |
CSFW
2000
IEEE
14 years 1 months ago
2000
IEEE
Some of the non interference properties studied in [4, 6, 18] for information flow analysis in computer systems, notably Æ , are reformulated here in a realtime setting. This is...
ISSE
2011
13 years 3 months ago
2011
Application developers utilizing event-based middleware have sought to leverage domain-specific modeling for the advantages of intuitive specification, code synthesis, and suppo...
SACMAT
2004
ACM
14 years 2 months ago
2004
ACM
Access control in enterprises is a key research area in the realm of Computer Security because of the unique needs of the target enterprise. As the enterprise typically has large ...
ESORICS
2006
Springer
14 years 19 days ago
2006
Springer
Abstract. We consider the problem of efficient key management and user revocation in cryptographic file systems that allow shared access to files. A performanceefficient solution t...
CMS
2003
13 years 10 months ago
2003
Classic security systems use a trust model centered in the authentication procedure, which depends on a naming service. Even when using a Public Key Infrastructure as X.509, such s...