30 search results - page 1 / 6 » Security Rules Specification and Analysis Based on Passive T... |
GLOBECOM
2008
IEEE
13 years 4 months ago
2008
IEEE
Security is a critical issue in dynamic and open distributed environments such as network-based services or wireless networks. To ensure that a certain level of security is maintai...
APSEC
2009
IEEE
13 years 2 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
ICST
2009
IEEE
13 years 2 months ago
2009
IEEE
Manual reviews and inspections of software artefacts are time consuming and thus, automated analysis tools have been developed to support the quality assurance of software artefac...
DSOM
2006
Springer
13 years 8 months ago
2006
Springer
Firewalls are important perimeter security mechanisms that imple-ment an organisation's network security requirements and can be notoriously difficult to configure correctly. ...
CSFW
2009
IEEE
13 years 8 months ago
2009
IEEE
This paper presents a language, based on transaction logic, for specifying dynamic authorisation policies, i.e., rules governing actions that may depend on and update the authoris...