5273 search results - page 697 / 1055 » Secured Web Access |
162
Voted
ECUMN
2007
Springer
15 years 10 months ago
2007
Springer
In UMTS mobile networks, there are some circumstances that the International Mobile Subscriber Identity (IMSI) of a user is conveyed in clear-text over the radio interface. Such s...
162
click to vote
FOSAD
2009
Springer
15 years 10 months ago
2009
Springer
A program verifier is a tool that allows developers to prove that their code satisfies its specification for every possible input and every thread schedule. These lecture notes des...
178
click to vote
ACSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
Since attackers trust computer systems to tell them the truth, it may be effective for those systems to lie or mislead. This could waste the attacker's resources while permit...
178
click to vote
ACSAC
2001
IEEE
15 years 10 months ago
2001
IEEE
This paper describes a method for controlling the behavior of mobile agent-system entities through the allocation of privileges. Privileges refer to policy rules that govern the a...
197
click to vote
COORDINATION
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Coordination languages are often used to describe open ended systems. This makes it challenging to develop tools for guaranteeing security of the coordinated systems and ...