309 search results - page 42 / 62 » A Type System for Expressive Security Policies |
SIGUCCS
2000
ACM
13 years 11 months ago
2000
ACM
Crime on the Internet has become a formidable challenge for university information technology and student judicial systems. The nature of university computing requires a relativel...
ADC
2009
Springer
14 years 2 months ago
2009
Springer
Access control has been studied for sometime, and there are a number of theories and techniques for handling access control for single or centralised systems; however, unique and ...
ESORICS
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. Recent years have seen unprecedented growth in the popularity of social network systems, with Facebook being an archetypical example. The access control paradigm behind t...
COMSUR
2000
13 years 7 months ago
2000
Trust is an important aspect of decision making for Internet applications and particularly influences the specification of security policy i.e. who is authorised to perform action...
TGC
2007
Springer
14 years 1 months ago
2007
Springer
In computing systems, trust is an expectation on the dynamic behavior of an agent; static analysis is a collection of techniques for establishing static bounds on the dynamic behav...