3420 search results - page 91 / 684 » A Language-Based Approach to Security |
116
Voted
EUROCAST
2007
Springer
15 years 9 months ago
2007
Springer
Cryptographic hash functions are security primitives that compute check sums of messages in a strong manner and this way are of fundamental importance for ensuring integrity and au...
119
Voted
ISSE
2010
2010
An approach to applying SOFL for agile process and its application in developing a test support tool
15 years 2 months ago
Structured Object-Oriented Formal Language (SOFL) is a representative formal engineering method for software development. It offers a three-step specification approachtoconstructi...
151
Voted
DEXAW
2007
IEEE
15 years 5 months ago
2007
IEEE
The research presented in this paper is an examination of how the concepts used in process improvement may be applied to a web form to improve design and usability. Although much ...
131
Voted
INFOCOM
2005
IEEE
15 years 9 months ago
2005
IEEE
— With the increasing demand for secure and high-quality communications in public access wireless IP networks, it is very important to have an in-depth understanding of the relat...
165
Voted
CBSE
2011
Springer
14 years 3 months ago
2011
Springer
Automating the construction of secure distributed systems becomes necessary. Indeed, developing security code requires a deep expertise and verifying that the developed code respe...