414 search results - page 46 / 83 » Secure Border Control Processes |
SAFECOMP
1998
Springer
15 years 3 months ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
105
click to vote
GCC
2003
Springer
15 years 5 months ago
2003
Springer
The paper discusses XML security key technologies related with security of Web service. Based on these discussions, Web service is integrated with some mature security architecture...
126
click to vote
JIPS
2007
14 years 11 months ago
2007
: The use of agent paradigm in today’s applications is hampered by the security concerns of agents and hosts alike. The agents require the presence of a secure and trusted execut...
122
click to vote
CODASPY
2012
13 years 7 months ago
2012
Recent years have witnessed the trend of leveraging cloudbased services for large scale content storage, processing, and distribution. Security and privacy are among top concerns ...
CCS
2009
ACM
15 years 6 months ago
2009
ACM
Open source software is often considered to be secure. One factor in this confidence in the security of open source software lies in leveraging large developer communities to find...