2335 search results - page 66 / 467 » Securing Distributed Systems with Information Flow Control |
136
click to vote
ESORICS
2007
Springer
15 years 8 months ago
2007
Springer
We present a new technique for generating a formal proof that an access request satisfies accesscontrol policy, for use in logic-based access-control frameworks. Our approach is t...
137
click to vote
CODES
2007
IEEE
15 years 11 months ago
2007
IEEE
In current Field-Programmable-Logic Architecture (FPGA) design flows, it is very hard to control the routing of submodules. It is thus very hard to make an identical copy of an ex...
155
click to vote
CCS
2007
ACM
15 years 11 months ago
2007
ACM
Traditional Public Key Infrastructures (PKI) have not lived up to their promise because there are too many ways to define PKIs, too many cryptographic primitives to build them wi...
135
click to vote
ISMVL
2010
IEEE
15 years 9 months ago
2010
IEEE
—The purpose of secure devices such as smartcards is to protect secret information against software and hardware attacks. Implementation of the appropriate protection techniques ...
162
Voted
E4MAS
2006
Springer
15 years 8 months ago
2006
Springer
Traffic control can be regarded as a multiagent application in which car-agents and traffic-light-agents need to coordinate with each other to optimize the traffic flow and to avoi...