1795 search results - page 172 / 359 » Security Models and Information Flow |
152
click to vote
SIS
2008
15 years 5 months ago
2008
In this paper we propose an access control model for use by a trusted middleware infrastructure, which is part of an architecture that supports the operation of Location Based Serv...
134
click to vote
EUROCRYPT
2005
Springer
15 years 9 months ago
2005
Springer
Biometric data offer a potential source of high-entropy, secret information that can be used in cryptographic protocols provided two issues are addressed: (1) biometric data are n...
148
Voted
EEE
2005
IEEE
15 years 9 months ago
2005
IEEE
UN/CEFACT’s Modelling Methodology (UMM) is used to analyze and design B2B business processes. We extend UMM by a constraint mechanism for adding business environment-specific co...
179
click to vote
SACMAT
2009
ACM
15 years 10 months ago
2009
ACM
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...
128
Voted
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
In this paper, we present a technique to design and verify the Look-Aside (LA-1) Interface standard used in network processors. Our design flow includes several refinements starti...