Formal Aspects of Security
- Indbinding:
- Paperback
- Sideantal:
- 256
- Udgivet:
- 3. december 2003
- Størrelse:
- 155x15x235 mm.
- Vægt:
- 394 g.
- 8-11 hverdage.
- 9. december 2024
På lager
Normalpris
Abonnementspris
- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding
Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding
Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.
Beskrivelse af Formal Aspects of Security
Preface Formal Aspects of Security (FASec) was held at Royal Holloway, University of London, 18-20 December 2002. The occasion celebrated a Jubilee, namely the 25thanniversaryoftheestablishmentofBCS-FACS,theFormalAspectsofC- puting Science specialist group of the British Computer Society. FASec is one of a series of events organized by BCS-FACS to highlight the use of formal me- ods, emphasize their relevance to modern computing, and promote their wider application. As the architecture model of information systems evolves from - connected PCs,throughintranet (LAN) and internet (WAN), to mobile internet and grids, security becomes increasingly critical to all walks of society: c- merce, ?nance, health, transport, defence and science. It is no surprise therefore that security is one of the fastest-growing research areas in computer science. Theaudience ofFASec includes thosein the formalmethods community who have(orwouldliketodevelop)adeeper interestinsecurity,andthoseinsecurity who would like to understand how formal methods can make important cont- butions to some aspects of security. The scope of FASec is deliberately broad andcoverstopics that rangefrommodelling securityrequirementsthroughsp- i?cation, analysis, and veri?cations of cryptographic protocols to certi?ed code. The discussions at FASec 2002 encompassed many aspects of security: from theoretical foundations through support tools and on to applications. Formal methods has made a substantial contribution to this exciting ?eld in the past.
Brugerbedømmelser af Formal Aspects of Security
Giv din bedømmelse
For at bedømme denne bog, skal du være logget ind.Andre købte også..
Find lignende bøger
Bogen Formal Aspects of Security findes i følgende kategorier:
- Business og læring > Computer og IT
- Reference, information og tværfaglige emner > Forskning og information: generelt > Kodeteori og kryptologi
- Økonomi, finans, erhvervsliv og ledelse > Erhvervsliv, virksomheder og ledelse > Matematik for virksomhedsøkonomer og forretningssystemer
- Databehandling og informationsteknologi > Informationsteknologi: generelle emner > Etiske og sociale aspekter ved IT
- Databehandling og informationsteknologi > Computere og hardware > Netværkskomponenter
- Databehandling og informationsteknologi > Operativsystemer
- Databehandling og informationsteknologi > Programmering / softwareudvikling > Softwareudvikling
- Databehandling og informationsteknologi > Datasikkerhed > Datakryptering
© 2024 Pling BØGER Registered company number: DK43351621